Given “If A then B” and “not B,” what follows?

Proof: Syllogism, Induction, Analogy and the Four Figures

• B is true
• Not A
• A must be true
• No conclusion can follow