that the fact that the gladiator is a kind of a kite that does not encrust passage is not false is not true.
sent1: the fact that the gladiator is a defensibility and a fraud is incorrect. sent2: there exists something such that it reissues setter. sent3: there exists something such that it does not reissue setter. sent4: if something does not reissue setter it is a kite and it does not encrust passage. sent5: the gladiator does reissue setter. sent6: the fact that the gladiator is a kite but it does not encrust passage does not hold if the choir does not kite. sent7: the fact that that the gladiator is a kite that does encrust passage does not hold is true if the choir does not kite. sent8: the choir is sensible if it does stoke. sent9: the choir is a defensibility that is not censorial if it harries Tylenchus. sent10: the choir does stoke if it is both a defensibility and not censorial. sent11: that the choir does not bedew sarcoma and is a comprehensive is not true if there is something such that it does not reissue setter. sent12: if something is sensible then it is not a kite. sent13: if that the choir does not bedew sarcoma but it is a comprehensive is not right the fact that it harries Tylenchus hold. sent14: the flint is a kind of a Farmington if it harries Tylenchus. sent15: that something does not bedew sarcoma and is not comprehensive is not right if that it does not harry Tylenchus is not wrong.
sent3 & sent11 -> int1: that the choir does not bedew sarcoma and is a comprehensive is not correct.; int1 & sent13 -> int2: the choir harries Tylenchus.; int2 & sent9 -> int3: the choir is both a defensibility and not censorial.; int3 & sent10 -> int4: the choir stokes.; int4 & sent8 -> int5: the choir is sensible.; sent12 -> int6: if the choir is sensible then it is not a kind of a kite.; int5 & int6 -> int7: the fact that the choir is not a kite hold.; int7 & sent6 -> hypothesis;
the gladiator is a kite but it does not encrust passage.
sent4 -> int8: the gladiator is a kind of a kite that does not encrust passage if it does not reissue setter.; sent15 -> int9: the fact that the choir does not bedew sarcoma and it is not a comprehensive is not correct if it does not harry Tylenchus.;
$hypothesis$ = that the fact that the gladiator is a kind of a kite that does not encrust passage is not false is not true. ; $context$ = sent1: the fact that the gladiator is a defensibility and a fraud is incorrect. sent2: there exists something such that it reissues setter. sent3: there exists something such that it does not reissue setter. sent4: if something does not reissue setter it is a kite and it does not encrust passage. sent5: the gladiator does reissue setter. sent6: the fact that the gladiator is a kite but it does not encrust passage does not hold if the choir does not kite. sent7: the fact that that the gladiator is a kite that does encrust passage does not hold is true if the choir does not kite. sent8: the choir is sensible if it does stoke. sent9: the choir is a defensibility that is not censorial if it harries Tylenchus. sent10: the choir does stoke if it is both a defensibility and not censorial. sent11: that the choir does not bedew sarcoma and is a comprehensive is not true if there is something such that it does not reissue setter. sent12: if something is sensible then it is not a kite. sent13: if that the choir does not bedew sarcoma but it is a comprehensive is not right the fact that it harries Tylenchus hold. sent14: the flint is a kind of a Farmington if it harries Tylenchus. sent15: that something does not bedew sarcoma and is not comprehensive is not right if that it does not harry Tylenchus is not wrong. ; $proof$ = 
sent3 & sent11 -> int1: that the choir does not bedew sarcoma and is a comprehensive is not correct.; int1 & sent13 -> int2: the choir harries Tylenchus.; int2 & sent9 -> int3: the choir is both a defensibility and not censorial.; int3 & sent10 -> int4: the choir stokes.; int4 & sent8 -> int5: the choir is sensible.; sent12 -> int6: if the choir is sensible then it is not a kind of a kite.; int5 & int6 -> int7: the fact that the choir is not a kite hold.; int7 & sent6 -> hypothesis; __PROVED__