the fact that there exists something such that if it is non-Keynesian and is moderate then it is a cockscomb is not false.
sent1: there is something such that if it does not culture Dresden and is a Reuben it is bisectional. sent2: if that the albino is a kind of non-Keynesian thing that moderates is not incorrect it is a cockscomb. sent3: if the albino is Keynesian thing that is moderate it is a kind of a cockscomb. sent4: something is Julian if it is not a Keynesian and it is a pharmacology. sent5: there is something such that if it does not index Amman and is a faint then it is a Bell. sent6: there is something such that if it is unprofitable and perorates then it cultures Oxyuridae. sent7: there exists something such that if it does not index prepuberty and it is obstetric it is a kind of a mime. sent8: there is something such that if it is not a mime and it is imperishable then it is a Piston. sent9: there exists something such that if it is not a theurgy and it is likely it is bladdery.
sent2 -> hypothesis;
if the reticule is not a kind of a Keynesian but it is a pharmacology then it is Julian.
sent4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is non-Keynesian and is moderate then it is a cockscomb is not false. ; $context$ = sent1: there is something such that if it does not culture Dresden and is a Reuben it is bisectional. sent2: if that the albino is a kind of non-Keynesian thing that moderates is not incorrect it is a cockscomb. sent3: if the albino is Keynesian thing that is moderate it is a kind of a cockscomb. sent4: something is Julian if it is not a Keynesian and it is a pharmacology. sent5: there is something such that if it does not index Amman and is a faint then it is a Bell. sent6: there is something such that if it is unprofitable and perorates then it cultures Oxyuridae. sent7: there exists something such that if it does not index prepuberty and it is obstetric it is a kind of a mime. sent8: there is something such that if it is not a mime and it is imperishable then it is a Piston. sent9: there exists something such that if it is not a theurgy and it is likely it is bladdery. ; $proof$ = 
sent2 -> hypothesis; __PROVED__