- Żaden kot przebrany za czaple nie jest nietowarzyski.
- Żaden kot bez ogona nie będzie się bawił z gorylem.
- Koty z wąsami zawsze przebierają się za czaple.
- Żaden towarzyski kot nie ma tępych pazurów.
- Żaden kot nie ma ogona, jeśli nie ma wąsów.
A zatem: żaden kot z tępymi pazurami nie będzie się bawić z gorylem.
Czy ta dedukcja jest prawidłowa?