that there is something such that if it is not a Mormon then the fact that it does not festoon maniraptor hold is not right.
sent1: something is not a hypervelocity if it is not pretentious. sent2: something festoons maniraptor if that it is non-Mormon hold. sent3: that if something is Mormon then it does not festoon maniraptor hold. sent4: if the national is a kind of a Mormon it is not a Parkinsonism. sent5: there exists something such that if it subtilizes Avestan the fact that it is not a belly is not wrong. sent6: a non-Mormon thing does not festoon maniraptor.
sent6 -> int1: the dribble does not festoon maniraptor if the fact that it is not a Mormon is true.; int1 -> hypothesis;
the dribble is not a hypervelocity if it is not pretentious.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that if it is not a Mormon then the fact that it does not festoon maniraptor hold is not right. ; $context$ = sent1: something is not a hypervelocity if it is not pretentious. sent2: something festoons maniraptor if that it is non-Mormon hold. sent3: that if something is Mormon then it does not festoon maniraptor hold. sent4: if the national is a kind of a Mormon it is not a Parkinsonism. sent5: there exists something such that if it subtilizes Avestan the fact that it is not a belly is not wrong. sent6: a non-Mormon thing does not festoon maniraptor. ; $proof$ = 
sent6 -> int1: the dribble does not festoon maniraptor if the fact that it is not a Mormon is true.; int1 -> hypothesis; __DISPROVED__