 Here, the consequent presupposes that Sam had food in the house, which is also entailed by the antecedent. Since satisfaction theories assume that presuppositions in a complex sentence will be satisfied locally, we’re left with a tautology. So, the local satisfaction constraint generates presuppositions which are redundant.