there is something such that if the fact that it does not piddle rioting and it does outstare petroleum hold then it does not piddle bounder.
sent1: the subjectivist does not piddle bounder if it does not piddle rioting and it does outstare petroleum. sent2: if the subjectivist piddles rioting and outstares petroleum the fact that it does not piddle bounder is not false. sent3: something is not nuclear if it is a kind of non-micrometeoric thing that is penal. sent4: there is something such that if it is not a cachinnation and it is gastric it is a atropine. sent5: if the subjectivist does not mystify Minoan but it piddles bounder then it does not outstare Bornean. sent6: if something is not a cachinnation but it outstares petroleum then it is not a Hershey.
sent1 -> hypothesis;
the fact that there is something such that if it is not micrometeoric and is not non-penal then it is not nuclear is right.
sent3 -> int1: the Yahi is not nuclear if it is a kind of non-micrometeoric thing that is penal.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it does not piddle rioting and it does outstare petroleum hold then it does not piddle bounder. ; $context$ = sent1: the subjectivist does not piddle bounder if it does not piddle rioting and it does outstare petroleum. sent2: if the subjectivist piddles rioting and outstares petroleum the fact that it does not piddle bounder is not false. sent3: something is not nuclear if it is a kind of non-micrometeoric thing that is penal. sent4: there is something such that if it is not a cachinnation and it is gastric it is a atropine. sent5: if the subjectivist does not mystify Minoan but it piddles bounder then it does not outstare Bornean. sent6: if something is not a cachinnation but it outstares petroleum then it is not a Hershey. ; $proof$ = 
sent1 -> hypothesis; __PROVED__