Se determină dacă premisa dată și concluzia sunt coerente din punct de vedere logic.
Premisa: Toate pisicile sunt mamifere.
Premisa: Nici un câine nu este pisică.
Concluzie: Toți câinii sunt mamifere.
Consecventă din punct de vedere logic, dar concluzia nu rezultă direct din premisele date.