something is a kind of a Navarino and/or it philanders one-quintillionth.
sent1: the buttonwood is not a Navarino if that the engraver is a recessional and is psychiatric is incorrect. sent2: there exists something such that it flocks coupe. sent3: the buttonwood does philander one-quintillionth if the isthmus is not a cleaning and is an attar. sent4: the buttercrunch does not languish if the fact that that the isthmus does not philander one-quintillionth but it is an attar is true is not right. sent5: the isthmus does languish and is not a kind of a cleaning. sent6: if the fact that the engraver is a dogwatch that is not an attar is not correct the isthmus is an attar. sent7: if the Mennonite is not a fudge then the fact that the engraver is a recessional and it is psychiatric is false. sent8: that the engraver is a dogwatch and is not an attar is incorrect. sent9: something is not a kind of a dogwatch if it is not a dogwatch or is not a kind of a cleaning or both. sent10: something is a Pyxis if the fact that it is both cleaning and not a Pyxis does not hold. sent11: if the buttonwood does languish the isthmus does languish. sent12: the taximeter is not irrelevant and it does not philander Hoheria if there is something such that it does flock coupe. sent13: the isthmus is an attar if the engraver does not languish but it is a cleaning. sent14: something is not a dogwatch and/or is not a cleaning if it does not languish. sent15: if something does not philander Hoheria then that it either is not a fudge or is a monotheist or both is right. sent16: if the taximeter does not fudge and/or is a monotheist then the Mennonite does not fudge.
sent5 -> int1: the isthmus is not a cleaning.; sent6 & sent8 -> int2: the isthmus is a kind of an attar.; int1 & int2 -> int3: the isthmus does not clean but it is an attar.; int3 & sent3 -> int4: the buttonwood does philander one-quintillionth.; int4 -> int5: the buttonwood either is a Navarino or philanders one-quintillionth or both.; int5 -> hypothesis;
the buttercrunch is not a dogwatch.
sent9 -> int6: the buttercrunch is not a dogwatch if it is not a kind of a dogwatch or it is not cleaning or both.; sent14 -> int7: either the buttercrunch is not a kind of a dogwatch or it is not cleaning or both if it does not languish.; sent15 -> int8: the fact that if the taximeter does not philander Hoheria the taximeter is not a fudge or a monotheist or both is not incorrect.; sent2 & sent12 -> int9: the taximeter is not irrelevant and it does not philander Hoheria.; int9 -> int10: the taximeter does not philander Hoheria.; int8 & int10 -> int11: the taximeter either is not a fudge or is a monotheist or both.; sent16 & int11 -> int12: the Mennonite is not a kind of a fudge.; sent7 & int12 -> int13: that the engraver is a recessional and is psychiatric does not hold.; sent1 & int13 -> int14: the buttonwood is not a kind of a Navarino.; int14 -> int15: there is something such that it is not a kind of a Navarino.;
$hypothesis$ = something is a kind of a Navarino and/or it philanders one-quintillionth. ; $context$ = sent1: the buttonwood is not a Navarino if that the engraver is a recessional and is psychiatric is incorrect. sent2: there exists something such that it flocks coupe. sent3: the buttonwood does philander one-quintillionth if the isthmus is not a cleaning and is an attar. sent4: the buttercrunch does not languish if the fact that that the isthmus does not philander one-quintillionth but it is an attar is true is not right. sent5: the isthmus does languish and is not a kind of a cleaning. sent6: if the fact that the engraver is a dogwatch that is not an attar is not correct the isthmus is an attar. sent7: if the Mennonite is not a fudge then the fact that the engraver is a recessional and it is psychiatric is false. sent8: that the engraver is a dogwatch and is not an attar is incorrect. sent9: something is not a kind of a dogwatch if it is not a dogwatch or is not a kind of a cleaning or both. sent10: something is a Pyxis if the fact that it is both cleaning and not a Pyxis does not hold. sent11: if the buttonwood does languish the isthmus does languish. sent12: the taximeter is not irrelevant and it does not philander Hoheria if there is something such that it does flock coupe. sent13: the isthmus is an attar if the engraver does not languish but it is a cleaning. sent14: something is not a dogwatch and/or is not a cleaning if it does not languish. sent15: if something does not philander Hoheria then that it either is not a fudge or is a monotheist or both is right. sent16: if the taximeter does not fudge and/or is a monotheist then the Mennonite does not fudge. ; $proof$ = 
sent5 -> int1: the isthmus is not a cleaning.; sent6 & sent8 -> int2: the isthmus is a kind of an attar.; int1 & int2 -> int3: the isthmus does not clean but it is an attar.; int3 & sent3 -> int4: the buttonwood does philander one-quintillionth.; int4 -> int5: the buttonwood either is a Navarino or philanders one-quintillionth or both.; int5 -> hypothesis; __PROVED__