the Hero is not a burl.
sent1: the fact that the fact that the Hero does snow and is not a kind of a Cologne is false hold. sent2: the Mantle is not a kind of a Cologne if there exists something such that it is a bedder. sent3: the fact that the Hero does snow and is not a Cologne is incorrect if the Mantle is not a Cologne. sent4: the microphotometer is not a Cologne. sent5: if that the Hero is a snow is right that it is not a kind of a burl is not false. sent6: the fact that the loader does not snow and is not a Cologne does not hold if it does burl. sent7: the microphotometer is not a burl. sent8: the loader is a burl if the Muskogee is both uncut and incurious. sent9: the Hero is not a Cologne if that it is a bedder hold. sent10: the Mantle is not a kind of a Cologne if there exists something such that the fact that it patronizes Muskogee and it is not a bedder does not hold. sent11: there exists something such that that it empties and it is not a scombroid is incorrect. sent12: the fact that the microphotometer patronizes Muskogee and is a kind of a bedder is not correct. sent13: if the fact that something is not a snow and it is not a Cologne does not hold then it is not a burl. sent14: the fact that the microphotometer patronizes Muskogee and is not a kind of a bedder is not right. sent15: that the blackjack patronizes Muskogee and is a votary is not correct. sent16: the fact that the Hero is not a kind of a snow and it is not a kind of a Cologne is false if the Mantle is not a Cologne. sent17: something that is a snow does not burl. sent18: the Mantle is not a burl if there exists something such that the fact that it is a bedder and it is not a Cologne is not right.
sent14 -> int1: there is something such that that it does patronize Muskogee and it is not a bedder is not right.; int1 & sent10 -> int2: the Mantle is not a Cologne.; int2 & sent16 -> int3: that the Hero is both not a snow and not a Cologne is wrong.; sent13 -> int4: if that the Hero is not a snow and it is not a Cologne is incorrect it is not a burl.; int3 & int4 -> hypothesis;
the fact that the Mantle is not chemotherapeutic and it does not patronize Muskogee is not true.
$hypothesis$ = the Hero is not a burl. ; $context$ = sent1: the fact that the fact that the Hero does snow and is not a kind of a Cologne is false hold. sent2: the Mantle is not a kind of a Cologne if there exists something such that it is a bedder. sent3: the fact that the Hero does snow and is not a Cologne is incorrect if the Mantle is not a Cologne. sent4: the microphotometer is not a Cologne. sent5: if that the Hero is a snow is right that it is not a kind of a burl is not false. sent6: the fact that the loader does not snow and is not a Cologne does not hold if it does burl. sent7: the microphotometer is not a burl. sent8: the loader is a burl if the Muskogee is both uncut and incurious. sent9: the Hero is not a Cologne if that it is a bedder hold. sent10: the Mantle is not a kind of a Cologne if there exists something such that the fact that it patronizes Muskogee and it is not a bedder does not hold. sent11: there exists something such that that it empties and it is not a scombroid is incorrect. sent12: the fact that the microphotometer patronizes Muskogee and is a kind of a bedder is not correct. sent13: if the fact that something is not a snow and it is not a Cologne does not hold then it is not a burl. sent14: the fact that the microphotometer patronizes Muskogee and is not a kind of a bedder is not right. sent15: that the blackjack patronizes Muskogee and is a votary is not correct. sent16: the fact that the Hero is not a kind of a snow and it is not a kind of a Cologne is false if the Mantle is not a Cologne. sent17: something that is a snow does not burl. sent18: the Mantle is not a burl if there exists something such that the fact that it is a bedder and it is not a Cologne is not right. ; $proof$ = 
sent14 -> int1: there is something such that that it does patronize Muskogee and it is not a bedder is not right.; int1 & sent10 -> int2: the Mantle is not a Cologne.; int2 & sent16 -> int3: that the Hero is both not a snow and not a Cologne is wrong.; sent13 -> int4: if that the Hero is not a snow and it is not a Cologne is incorrect it is not a burl.; int3 & int4 -> hypothesis; __PROVED__