Todos os limões são azedos e algumas laranjas também são azedas.

Uma frase que corresponde a uma negação dessa proposição é:

Alguns trens do metrô trafegam sem que seus condutores estejam embarcados no próprio trem. A partir dessa afirmação, pode-se concluir que