Antwort
Alle Professoren sind Fliegen. Alle Fliegen können tauchen.
Behauptung: Wer nicht tauchen kann, ist kein Professor.
Im Umkehrschluss heißt das: Alles was tauchen kann, ist ein Professor.
Ein Wal kann tauchen, ist deshalb aber kein Professor.
Die Behauptung wäre richtig wenn da stehen würde :
Alle Professoren können tauchen. oder Alle Fliegen sind Professoren.