Se l’automobile è di colore rosso, allora è sportiva”. Da quale delle seguenti affermazioni può essere logicamente dedotta l’affermazione precedente?

 Se un’automobile non è rossa, allora non è sportiva

 Tutte le automobili sportive sono rosse

 Alcune automobili rosse sono sportive

tutte le automobili rosse sono sportive (risposta esatta).

Ho ragionato secondo la regola delle implicazioni logiche ma non mi risulta.