Which inference is valid for exclusion of emptiness?

Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals

• Denying one affirms the other
• Affirming one denies the other
• Affirming one affirms the other
• Denying both establishes a third case