a ∧ (a → ¬b) → ¬b
is easier to reason with than
Socrates is a man, no man is immortal, therefore Socrate is not immortal.