Disjunctive_syllogism loading ...