the Mormons is not a headfast.
sent1: the Mormons is a masdevallia if the fact that it is not a Phoenician and it is overhand is not correct. sent2: if the Mormons is malarial the switch is not praetorian. sent3: that something is both not a Phoenician and not non-overhand is not correct if it is not malarial. sent4: the turning is a kind of a rubdown. sent5: the Mormons is a rubdown if the fact that it is a kind of non-malarial a headfast is wrong. sent6: the fact that the switch is not a patrial is true. sent7: if the turning is a kind of a rubdown the fact that the switch is not praetorian and it is not a patrial is not right. sent8: that that that the switch is not a masdevallia and is not overhand does not hold is right if the Mormons is praetorian is true. sent9: that that something is a patrial and is a kind of a headfast is wrong if it is not a kind of a rubdown hold.
void -> assump1: Let's assume that the Mormons is not non-malarial.; sent2 & assump1 -> int1: the switch is not praetorian.; int1 & sent6 -> int2: the switch is not praetorian and it is not a patrial.; sent7 & sent4 -> int3: the fact that the switch is not praetorian and it is not a patrial is false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Mormons is not malarial.; sent3 -> int6: the fact that the Mormons is not a Phoenician but it is not non-overhand is incorrect if it is not malarial.; int5 & int6 -> int7: the fact that the Mormons is both not Phoenician and overhand is not true.; int7 & sent1 -> int8: the Mormons is a masdevallia.; int8 -> int9: the Mormons is a kind of a masdevallia and/or it shops turning.;
$hypothesis$ = the Mormons is not a headfast. ; $context$ = sent1: the Mormons is a masdevallia if the fact that it is not a Phoenician and it is overhand is not correct. sent2: if the Mormons is malarial the switch is not praetorian. sent3: that something is both not a Phoenician and not non-overhand is not correct if it is not malarial. sent4: the turning is a kind of a rubdown. sent5: the Mormons is a rubdown if the fact that it is a kind of non-malarial a headfast is wrong. sent6: the fact that the switch is not a patrial is true. sent7: if the turning is a kind of a rubdown the fact that the switch is not praetorian and it is not a patrial is not right. sent8: that that that the switch is not a masdevallia and is not overhand does not hold is right if the Mormons is praetorian is true. sent9: that that something is a patrial and is a kind of a headfast is wrong if it is not a kind of a rubdown hold. ; $proof$ = 
void -> assump1: Let's assume that the Mormons is not non-malarial.; sent2 & assump1 -> int1: the switch is not praetorian.; int1 & sent6 -> int2: the switch is not praetorian and it is not a patrial.; sent7 & sent4 -> int3: the fact that the switch is not praetorian and it is not a patrial is false.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Mormons is not malarial.; sent3 -> int6: the fact that the Mormons is not a Phoenician but it is not non-overhand is incorrect if it is not malarial.; int5 & int6 -> int7: the fact that the Mormons is both not Phoenician and overhand is not true.; int7 & sent1 -> int8: the Mormons is a masdevallia.; int8 -> int9: the Mormons is a kind of a masdevallia and/or it shops turning.; __UNKNOWN__