A true “If A then B” plus B is always enough to establish A.

Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals