Considere que se sabe apenas dos seguintes fatos, tidos como verdadeiros:

1. Vacas não voam.
2. Porcos não voam.
3. Todas as borboletas são insetos.
4. Todo homem casado não é solteiro.
5. Todos os insetos são animais.

Utilizando apenas os fatos que foram dados e as regras lógicas, marque a alternativa que NÃO é uma verdade necessária logicamente: