there is something such that if it is not biogeographic and it is not Norwegian then it does not Simonize crabgrass.
sent1: if the specific is not biogeographic and is a Norwegian then it does not Simonize crabgrass. sent2: the fact that there exists something such that if it is biogeographic and it is not a Norwegian it does not Simonize crabgrass is true. sent3: the specific Simonizes crabgrass if it is not biogeographic and it is not a Norwegian. sent4: something is not a kind of a mikado if it is irresolute thing that does not Simonize specific. sent5: if the specific is not biogeographic and is not a Norwegian it does not Simonize crabgrass.
sent5 -> hypothesis;
there exists something such that if it is a kind of non-resolute thing that does not Simonize specific then it is not a mikado.
sent4 -> int1: if the fact that the minaret is not resolute and does not Simonize specific is not false it is not a mikado.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not biogeographic and it is not Norwegian then it does not Simonize crabgrass. ; $context$ = sent1: if the specific is not biogeographic and is a Norwegian then it does not Simonize crabgrass. sent2: the fact that there exists something such that if it is biogeographic and it is not a Norwegian it does not Simonize crabgrass is true. sent3: the specific Simonizes crabgrass if it is not biogeographic and it is not a Norwegian. sent4: something is not a kind of a mikado if it is irresolute thing that does not Simonize specific. sent5: if the specific is not biogeographic and is not a Norwegian it does not Simonize crabgrass. ; $proof$ = 
sent5 -> hypothesis; __PROVED__