Se evaluează validitatea următorului argument: Toți câinii sunt mamifere. Rex e un mamifer. Prin urmare, Rex este un câine.
Argumentul nu este valid. Deși este adevărat că toți câinii sunt mamifere, nu toate mamiferele sunt câini. Faptul că Rex este un mamifer nu garantează că Rex este un câine. Rex ar putea fi o pisică, un om, sau orice alt mamifer. Concluzia nu poate fi dedusă din premisele date.