the fact that there exists something such that if it is not a kind of an interpreter it is a rest and it is an upper is wrong.
sent1: there exists something such that if it is not an interpreter it is a kind of an upper. sent2: something does hedgehop and it does tame shebeen if it is not a kind of a Maupassant. sent3: there exists something such that if it does not ding crowd it is a kind of a Io. sent4: the fact that there is something such that if it is not a kind of an interpreter then that it does rest hold hold. sent5: if the sphecoid does not shrink Nanak then it is a Maupassant and it is a kind of a rest. sent6: the fact that the osmund is a Navarino is correct if it is not a rest. sent7: if the mute is not an interpreter it is an upper. sent8: if that the mute is an interpreter is not wrong then it is a kind of a rest and it is a kind of an upper. sent9: the mute is a rest and is an upper if it is not an interpreter. sent10: there is something such that if it is an interpreter then it is a rest that is an upper. sent11: there exists something such that if it is a kind of a ascomycete it is a kind of an ulceration and is a Methodists.
sent9 -> hypothesis;
there exists something such that if it is not a Maupassant then it hedgehops and it does tame shebeen.
sent2 -> int1: the subthalamus hedgehops and it tames shebeen if that it is not a Maupassant is true.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a kind of an interpreter it is a rest and it is an upper is wrong. ; $context$ = sent1: there exists something such that if it is not an interpreter it is a kind of an upper. sent2: something does hedgehop and it does tame shebeen if it is not a kind of a Maupassant. sent3: there exists something such that if it does not ding crowd it is a kind of a Io. sent4: the fact that there is something such that if it is not a kind of an interpreter then that it does rest hold hold. sent5: if the sphecoid does not shrink Nanak then it is a Maupassant and it is a kind of a rest. sent6: the fact that the osmund is a Navarino is correct if it is not a rest. sent7: if the mute is not an interpreter it is an upper. sent8: if that the mute is an interpreter is not wrong then it is a kind of a rest and it is a kind of an upper. sent9: the mute is a rest and is an upper if it is not an interpreter. sent10: there is something such that if it is an interpreter then it is a rest that is an upper. sent11: there exists something such that if it is a kind of a ascomycete it is a kind of an ulceration and is a Methodists. ; $proof$ = 
sent9 -> hypothesis; __DISPROVED__