that the adrenosterone is not anorthitic hold.
sent1: something does not shrink if the fact that it is either not a uxoriousness or a Depression or both does not hold. sent2: if the fact that something either does not rustle adrenosterone or does not rustle almond or both does not hold it is not anorthitic. sent3: that if there exists something such that it is not non-philhellenic then the Jewbush does rustle almond is true. sent4: the adrenosterone rustles adrenosterone. sent5: if that something is a kind of a zigadene and does unspell linesman is not true then that it does not unspell linesman hold. sent6: if that that the adrenosterone does not rustle adrenosterone or it is lathery or both is not false does not hold it is not a poleax. sent7: that the portage is a kind of a zigadene that unspells linesman does not hold. sent8: something is not anorthitic if that it rustles adrenosterone and/or it does not rustle almond is incorrect. sent9: if that something is not a pikeblenny and/or it is not a Bahaism is not correct it is not retractile. sent10: there exists something such that it is a Orangeman. sent11: if something does not rustle adrenosterone the fact that it is anorthitic thing that is a Orangeman is correct. sent12: if that that either the adrenosterone does not rustle almond or it does habit pulverization or both is true is not true it does not despair almond. sent13: the adrenosterone is not anorthitic if that it does rustle adrenosterone and/or does not rustle almond is false. sent14: if that that that the almond does not rustle adrenosterone and/or it does not rustle sheepherder hold does not hold is right then it is not nebulous. sent15: the fact that either the adrenosterone does not rustle adrenosterone or it does not rustle almond or both does not hold if there exists something such that it is a Orangeman. sent16: the fact that something rustles almond and is not contrasty is not correct if it does not unspell linesman. sent17: the adrenosterone does rustle adrenosterone if there exists something such that it is a Orangeman. sent18: the adrenosterone is not a tam.
sent10 & sent15 -> int1: the fact that the adrenosterone does not rustle adrenosterone and/or does not rustle almond is false.; sent2 -> int2: the adrenosterone is not anorthitic if the fact that it does not rustle adrenosterone or it does not rustle almond or both is incorrect.; int1 & int2 -> hypothesis;
the adrenosterone is anorthitic.
sent11 -> int3: if the adrenosterone does not rustle adrenosterone it is anorthitic and it is a Orangeman.; sent16 -> int4: if the portage does not unspell linesman then that it does rustle almond and it is not contrasty is wrong.; sent5 -> int5: if that the portage is a zigadene and it does unspell linesman is not correct it does not unspell linesman.; int5 & sent7 -> int6: the portage does not unspell linesman.; int4 & int6 -> int7: that the portage rustles almond and is not contrasty is not right.; int7 -> int8: there exists something such that that it rustles almond and is not contrasty is false.;
$hypothesis$ = that the adrenosterone is not anorthitic hold. ; $context$ = sent1: something does not shrink if the fact that it is either not a uxoriousness or a Depression or both does not hold. sent2: if the fact that something either does not rustle adrenosterone or does not rustle almond or both does not hold it is not anorthitic. sent3: that if there exists something such that it is not non-philhellenic then the Jewbush does rustle almond is true. sent4: the adrenosterone rustles adrenosterone. sent5: if that something is a kind of a zigadene and does unspell linesman is not true then that it does not unspell linesman hold. sent6: if that that the adrenosterone does not rustle adrenosterone or it is lathery or both is not false does not hold it is not a poleax. sent7: that the portage is a kind of a zigadene that unspells linesman does not hold. sent8: something is not anorthitic if that it rustles adrenosterone and/or it does not rustle almond is incorrect. sent9: if that something is not a pikeblenny and/or it is not a Bahaism is not correct it is not retractile. sent10: there exists something such that it is a Orangeman. sent11: if something does not rustle adrenosterone the fact that it is anorthitic thing that is a Orangeman is correct. sent12: if that that either the adrenosterone does not rustle almond or it does habit pulverization or both is true is not true it does not despair almond. sent13: the adrenosterone is not anorthitic if that it does rustle adrenosterone and/or does not rustle almond is false. sent14: if that that that the almond does not rustle adrenosterone and/or it does not rustle sheepherder hold does not hold is right then it is not nebulous. sent15: the fact that either the adrenosterone does not rustle adrenosterone or it does not rustle almond or both does not hold if there exists something such that it is a Orangeman. sent16: the fact that something rustles almond and is not contrasty is not correct if it does not unspell linesman. sent17: the adrenosterone does rustle adrenosterone if there exists something such that it is a Orangeman. sent18: the adrenosterone is not a tam. ; $proof$ = 
sent10 & sent15 -> int1: the fact that the adrenosterone does not rustle adrenosterone and/or does not rustle almond is false.; sent2 -> int2: the adrenosterone is not anorthitic if the fact that it does not rustle adrenosterone or it does not rustle almond or both is incorrect.; int1 & int2 -> hypothesis; __PROVED__