Em um grupo de pessoas, sabe-se que todos os que gostam de jiló também gostam de carambola. Além disso, existem pessoas que gostam de maxixe e gostam de jiló.
Dessa forma, é necessariamente verdadeiro que alguma pessoa: