there is something such that if that it rampages or is not eccentric or both is incorrect it is a polarography.
sent1: there is something such that if that it is anasarcous and/or is not a mat is not right then it is a scrubber. sent2: the prayerbook is a polarography if it is either a rampage or not an eccentric or both. sent3: there is something such that if it is a rampage and/or non-eccentric it is a polarography. sent4: there exists something such that if the fact that it is a Gibraltarian or it is not high or both is false then it is a cinnamon. sent5: there exists something such that if that it nickels solvency or it is not a miller's-thumb or both is not right it is a bohemian. sent6: if the fact that that the prayerbook is a rampage or it is a kind of an eccentric or both does not hold hold then it is a polarography. sent7: the prayerbook is a polarography if the fact that either it does rampage or it is not a kind of an eccentric or both is not true.
sent7 -> hypothesis;
$hypothesis$ = there is something such that if that it rampages or is not eccentric or both is incorrect it is a polarography. ; $context$ = sent1: there is something such that if that it is anasarcous and/or is not a mat is not right then it is a scrubber. sent2: the prayerbook is a polarography if it is either a rampage or not an eccentric or both. sent3: there is something such that if it is a rampage and/or non-eccentric it is a polarography. sent4: there exists something such that if the fact that it is a Gibraltarian or it is not high or both is false then it is a cinnamon. sent5: there exists something such that if that it nickels solvency or it is not a miller's-thumb or both is not right it is a bohemian. sent6: if the fact that that the prayerbook is a rampage or it is a kind of an eccentric or both does not hold hold then it is a polarography. sent7: the prayerbook is a polarography if the fact that either it does rampage or it is not a kind of an eccentric or both is not true. ; $proof$ = 
sent7 -> hypothesis; __PROVED__