the gruel is not metropolitan.
sent1: if something is non-Masonic it is not metropolitan. sent2: something throws if it is not a metropolitan. sent3: if that something is both Masonic and not a throw is not right then the fact that it is not Masonic is correct. sent4: if the formula is not Masonic then it is not a monsoon. sent5: the gruel is not Masonic. sent6: if something is a kind of non-immodest thing that alibis Argyranthemum the whiffletree is not a kind of a metropolitan. sent7: the fact that everything is not immodest and alibis Argyranthemum is true.
sent1 -> int1: if the gruel is not Masonic it is not a metropolitan.; int1 & sent5 -> hypothesis;
the faddist is not Masonic.
sent3 -> int2: the fact that if that the faddist is Masonic and is not a kind of the throw does not hold the faddist is not Masonic is not false.; sent2 -> int3: if the whiffletree is not a metropolitan it throws.; sent7 -> int4: the cockhorse is not immodest but it does alibi Argyranthemum.; int4 -> int5: something is not immodest but it does alibi Argyranthemum.; int5 & sent6 -> int6: the whiffletree is not a metropolitan.; int3 & int6 -> int7: the whiffletree is a kind of a throw.; int7 -> int8: there is something such that it throws.;
$hypothesis$ = the gruel is not metropolitan. ; $context$ = sent1: if something is non-Masonic it is not metropolitan. sent2: something throws if it is not a metropolitan. sent3: if that something is both Masonic and not a throw is not right then the fact that it is not Masonic is correct. sent4: if the formula is not Masonic then it is not a monsoon. sent5: the gruel is not Masonic. sent6: if something is a kind of non-immodest thing that alibis Argyranthemum the whiffletree is not a kind of a metropolitan. sent7: the fact that everything is not immodest and alibis Argyranthemum is true. ; $proof$ = 
sent1 -> int1: if the gruel is not Masonic it is not a metropolitan.; int1 & sent5 -> hypothesis; __PROVED__