すべてのピザが食べ物であり、今日あなたが食べ物を食べていない場合、私たちはあなたが今日あなたがピザを食べていないと結論付けるために推移的な財産を活用することができます。
If all pizzas are food, and you have not eaten any food today, we can leverage the transitive property to conclude you have not eaten any pizzas today.