#logical deduction #option elimination #disjunctive reasoning #modus tollendo ponens #affirming by denying #inference rule