If he is not including a SPAM logo or a Pentium logo on his products, then it's not trademark usage. These names are not themselves marks when spoken/written/etc. even if marks exist that contain these names.
If he is printing such marks on his products, then it comes down to the "likelihood of confusion" test: will a consumer be misled to believe that the SKU Al is selling contains the official meat or silicon? That would be trademark infringement. In TFA, the natural gas trademarks are merely listed as "featured partners" so there's not much likelihood of confusion where a consumer would be misled into thinking that they'll get genuine natural gas from this unauthorized merchant, in my estimation.
If he is printing such marks on his products, then it comes down to the "likelihood of confusion" test: will a consumer be misled to believe that the SKU Al is selling contains the official meat or silicon? That would be trademark infringement. In TFA, the natural gas trademarks are merely listed as "featured partners" so there's not much likelihood of confusion where a consumer would be misled into thinking that they'll get genuine natural gas from this unauthorized merchant, in my estimation.