there is something such that if it does not outgeneral irreverence and is not archidiaconal it billows probabilism.
sent1: there is something such that if it is not a kind of a wakefulness and it is not a mailsorter then it does shore kerchief. sent2: the greenshank billows probabilism if it does not outgeneral irreverence and is not archidiaconal. sent3: the wainscot is near if it is a kind of a Chinookan that is not progestational. sent4: the esthete is archidiaconal if it is not unsarcastic and shores Cladorhyncus. sent5: something does snore if it is non-reverse and it does not billow probabilism. sent6: if the workbench is not Israeli but it billows probabilism it partakes. sent7: there exists something such that if it is both not a suer and a snore it billows wardenship. sent8: there is something such that if it outgenerals irreverence and it is not archidiaconal it does billow probabilism. sent9: the fact that the greenshank is a babassu is true if it is a devotional and does not billow probabilism. sent10: the greenshank does single if it is a kind of a Dacrydium and it does not billow probabilism.
sent2 -> hypothesis;
the feminist is a kind of a snore if it is a kind of non-reverse thing that does not billow probabilism.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it does not outgeneral irreverence and is not archidiaconal it billows probabilism. ; $context$ = sent1: there is something such that if it is not a kind of a wakefulness and it is not a mailsorter then it does shore kerchief. sent2: the greenshank billows probabilism if it does not outgeneral irreverence and is not archidiaconal. sent3: the wainscot is near if it is a kind of a Chinookan that is not progestational. sent4: the esthete is archidiaconal if it is not unsarcastic and shores Cladorhyncus. sent5: something does snore if it is non-reverse and it does not billow probabilism. sent6: if the workbench is not Israeli but it billows probabilism it partakes. sent7: there exists something such that if it is both not a suer and a snore it billows wardenship. sent8: there is something such that if it outgenerals irreverence and it is not archidiaconal it does billow probabilism. sent9: the fact that the greenshank is a babassu is true if it is a devotional and does not billow probabilism. sent10: the greenshank does single if it is a kind of a Dacrydium and it does not billow probabilism. ; $proof$ = 
sent2 -> hypothesis; __PROVED__