the apprehender is not a kind of a promulgator.
sent1: if the apprehender does invoke menace that the Mozambican does gather soapfish but it is not a Paleozoic is false. sent2: the fact that if the fact that the Mozambican does gather soapfish but it is non-Paleozoic does not hold then the Mozambican enlightens is not wrong. sent3: if a non-Paleozoic thing does invoke menace the apprehender is not a promulgator. sent4: the Mozambican is not Paleozoic. sent5: the Mozambican is non-Paleozoic and does invoke menace if something gathers soapfish. sent6: something is not a Paleozoic and does invoke menace if it is not diadromous. sent7: that the apprehender is not diadromous is correct if it is a twitch that does not guess Magnificat. sent8: there is something such that the fact that it is not a kind of a Paleozoic is true. sent9: if something gathers soapfish the Mozambican is not a kind of a Paleozoic. sent10: the apprehender is not a promulgator if there is something such that it is a kind of a Paleozoic and invokes menace. sent11: something gathers soapfish.
sent11 & sent5 -> int1: the Mozambican is not a Paleozoic but it does invoke menace.; int1 -> int2: there is something such that it is not a kind of a Paleozoic and it does invoke menace.; int2 & sent3 -> hypothesis;
the fact that the apprehender is not a promulgator is not correct.
sent6 -> int3: if the apprehender is not diadromous it is not a kind of a Paleozoic and does invoke menace.;
$hypothesis$ = the apprehender is not a kind of a promulgator. ; $context$ = sent1: if the apprehender does invoke menace that the Mozambican does gather soapfish but it is not a Paleozoic is false. sent2: the fact that if the fact that the Mozambican does gather soapfish but it is non-Paleozoic does not hold then the Mozambican enlightens is not wrong. sent3: if a non-Paleozoic thing does invoke menace the apprehender is not a promulgator. sent4: the Mozambican is not Paleozoic. sent5: the Mozambican is non-Paleozoic and does invoke menace if something gathers soapfish. sent6: something is not a Paleozoic and does invoke menace if it is not diadromous. sent7: that the apprehender is not diadromous is correct if it is a twitch that does not guess Magnificat. sent8: there is something such that the fact that it is not a kind of a Paleozoic is true. sent9: if something gathers soapfish the Mozambican is not a kind of a Paleozoic. sent10: the apprehender is not a promulgator if there is something such that it is a kind of a Paleozoic and invokes menace. sent11: something gathers soapfish. ; $proof$ = 
sent11 & sent5 -> int1: the Mozambican is not a Paleozoic but it does invoke menace.; int1 -> int2: there is something such that it is not a kind of a Paleozoic and it does invoke menace.; int2 & sent3 -> hypothesis; __PROVED__