Admitem-se como verdadeiras as seguintes proposições:
• Todo controlador interno é eficiente. • Felipe é desatento. •  Quem é desatento não é eficiente.
Dessas  proposições, conclui-se que , necessariamente: