Description: Add a contradicting disjunct to an antecedent. (Contributed by Giovanni Mascellani, 15-Sep-2017)