the fact that there exists something such that if that it is not incorporeal is not false then that it is a kind of a entellus that is not an erica is false is wrong.
sent1: there exists something such that if it is incorporeal then that it is a kind of a entellus that is not a kind of an erica does not hold. sent2: the dominus is a entellus but not an erica if it is not incorporeal. sent3: there exists something such that if it is not incorporeal it is a entellus that is not an erica. sent4: the fact that the dominus is a entellus and is not a kind of an erica is not right if it is not incorporeal. sent5: that the dominus is a entellus and an erica is not correct if that it is not incorporeal is right.
sent4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is not incorporeal is not false then that it is a kind of a entellus that is not an erica is false is wrong. ; $context$ = sent1: there exists something such that if it is incorporeal then that it is a kind of a entellus that is not a kind of an erica does not hold. sent2: the dominus is a entellus but not an erica if it is not incorporeal. sent3: there exists something such that if it is not incorporeal it is a entellus that is not an erica. sent4: the fact that the dominus is a entellus and is not a kind of an erica is not right if it is not incorporeal. sent5: that the dominus is a entellus and an erica is not correct if that it is not incorporeal is right. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__