Em uma feira, todas as barracas que vendem batata vendem tomate, mas nenhuma barraca que vende tomate vende espinafre. Todas as barracas que vendem cenoura vendem quiabo, e algumas que vendem quiabo, vendem espinafre. Como nenhuma barraca que vende quiabo vende tomate, e como nenhuma barraca que vende cenoura vende espinafre, então,