 It is commonly agreed that such an inference is not valid based upon the form, because the opposite of its consequent and its antecedent do not formally imply a contradiction, where “to imply a contradiction formally” means that these two cannot be distinguished or consistently and distinctively imagined as holding simultaneously. ([Soph] soph. 2 [1494: fol. 83rb])