the fact that there is something such that if the fact that it is non-subscript and it is a kind of a molecule is incorrect then it is not a kind of a birdnest is not true.
sent1: the marquetry does not birdnest if it is a subscript. sent2: there exists something such that if that it is a subscript and is a kind of a molecule is not true it does not birdnest. sent3: there is something such that if that it is not a Wykeham and clings suprematist is incorrect it does not cling marquetry. sent4: there exists something such that if it is not a subscript and is a molecule it is not a kind of a birdnest. sent5: if the marquetry is not a subscript but it is a molecule then it does not birdnest. sent6: there exists something such that if the fact that it is both not subscript and a molecule does not hold then it does birdnest. sent7: there exists something such that if it is not a molecule that it is not a kind of a birdnest is correct. sent8: if that the marquetry is both not subscript and a molecule is incorrect then it does birdnest. sent9: the marquetry does not birdnest if that it is a kind of non-subscript a molecule is not true. sent10: if the fact that something is not a Goodman but a martin is false it does not resect mayoress.
sent9 -> hypothesis;
there is something such that if that it is not a Goodman and is a martin is not true that it does not resect mayoress hold.
sent10 -> int1: the nerd does not resect mayoress if the fact that it is not a Goodman and it is a martin is not correct.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is non-subscript and it is a kind of a molecule is incorrect then it is not a kind of a birdnest is not true. ; $context$ = sent1: the marquetry does not birdnest if it is a subscript. sent2: there exists something such that if that it is a subscript and is a kind of a molecule is not true it does not birdnest. sent3: there is something such that if that it is not a Wykeham and clings suprematist is incorrect it does not cling marquetry. sent4: there exists something such that if it is not a subscript and is a molecule it is not a kind of a birdnest. sent5: if the marquetry is not a subscript but it is a molecule then it does not birdnest. sent6: there exists something such that if the fact that it is both not subscript and a molecule does not hold then it does birdnest. sent7: there exists something such that if it is not a molecule that it is not a kind of a birdnest is correct. sent8: if that the marquetry is both not subscript and a molecule is incorrect then it does birdnest. sent9: the marquetry does not birdnest if that it is a kind of non-subscript a molecule is not true. sent10: if the fact that something is not a Goodman but a martin is false it does not resect mayoress. ; $proof$ = 
sent9 -> hypothesis; __DISPROVED__