the fact that the gallinule is not a Montaigne and is a CIS is not correct.
sent1: that the Islamist does not follow devise and is not inessential is true if the warrigal surprises fauld. sent2: the fact that the gallinule is not a Montaigne but it is a CIS does not hold if the flyspeck is not a CIS. sent3: the warrigal does surprise fauld. sent4: if there is something such that that it is not ornithological is not false then that the flyspeck is not a CIS is correct. sent5: if there exists something such that the fact that it is a kind of a Hoyle and it is not iridic is incorrect the armory is not a kind of a bluehead. sent6: something is not a kind of a Montaigne but it is a kind of a CIS if it is not ornithological. sent7: if the Islamist does not follow devise then the fact that the sitar is both a Hoyle and not iridic is incorrect.
the gallinule is not a kind of a Montaigne and is a CIS.
sent6 -> int1: if the gallinule is not ornithological it is not a Montaigne but a CIS.; sent1 & sent3 -> int2: the Islamist does not follow devise and it is not inessential.; int2 -> int3: the Islamist does not follow devise.; sent7 & int3 -> int4: the fact that the sitar is a kind of a Hoyle and is not iridic is not true.; int4 -> int5: there is something such that the fact that it is a Hoyle and it is not iridic is not correct.; int5 & sent5 -> int6: the armory is not a kind of a bluehead.; int6 -> int7: there exists something such that the fact that it is not a bluehead hold.;
$hypothesis$ = the fact that the gallinule is not a Montaigne and is a CIS is not correct. ; $context$ = sent1: that the Islamist does not follow devise and is not inessential is true if the warrigal surprises fauld. sent2: the fact that the gallinule is not a Montaigne but it is a CIS does not hold if the flyspeck is not a CIS. sent3: the warrigal does surprise fauld. sent4: if there is something such that that it is not ornithological is not false then that the flyspeck is not a CIS is correct. sent5: if there exists something such that the fact that it is a kind of a Hoyle and it is not iridic is incorrect the armory is not a kind of a bluehead. sent6: something is not a kind of a Montaigne but it is a kind of a CIS if it is not ornithological. sent7: if the Islamist does not follow devise then the fact that the sitar is both a Hoyle and not iridic is incorrect. ; $proof$ = 
__UNKNOWN__