the hoofer is not a barbecue.
sent1: that something is a kind of catalytic thing that is not a Gomorrah is not true if it does not ramp. sent2: the hoofer is a kind of a barbecue and is a kind of a rat-catcher if the voile is not trivalent. sent3: that the fact that the poetess is not a Gomorrah and it is not a Dendroctonus does not hold is not false if that the munition is not trivalent hold. sent4: the fact that the Bath is both a rat-catcher and not causative is wrong. sent5: the voile is a kind of a rat-catcher. sent6: if there is something such that that it is not a canvas and it rids symmetry is incorrect then the voile is not a rat-catcher. sent7: that the Bath is catalytic is not false if the Lothario is a ramp. sent8: that the Lothario ramps hold if the fact that the poetess is not a kind of a Gomorrah and it is not a Dendroctonus is incorrect. sent9: the hoofer is not a kind of a barbecue if the Bath is catalytic and it is causative. sent10: the munition is not trivalent if the spruce is not a canvas and rids symmetry. sent11: if that the munition is not trivalent and it is not a Dendroctonus is false the voile is not trivalent. sent12: if the fact that something is catalytic and not a Gomorrah is not true it is a Gomorrah.
void -> assump1: Let's assume that the fact that the spruce is not a canvas and does rid symmetry does not hold.; assump1 -> int1: there exists something such that that it does not canvas and does rid symmetry is not right.; int1 & sent6 -> int2: the voile is not a rat-catcher.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spruce does not canvas and does rid symmetry.; int4 & sent10 -> int5: the munition is not trivalent.; int5 & sent3 -> int6: that the poetess is not a Gomorrah and is not a Dendroctonus is incorrect.; int6 & sent8 -> int7: the Lothario does ramp.; int7 & sent7 -> int8: the Bath is not non-catalytic.;
the hoofer is a kind of a barbecue.
sent12 -> int9: that if the fact that the poetess is catalytic and is not the Gomorrah does not hold the poetess is a kind of a Gomorrah is correct.; sent1 -> int10: if the poetess does not ramp then that it is catalytic and it is not a Gomorrah is incorrect.;
$hypothesis$ = the hoofer is not a barbecue. ; $context$ = sent1: that something is a kind of catalytic thing that is not a Gomorrah is not true if it does not ramp. sent2: the hoofer is a kind of a barbecue and is a kind of a rat-catcher if the voile is not trivalent. sent3: that the fact that the poetess is not a Gomorrah and it is not a Dendroctonus does not hold is not false if that the munition is not trivalent hold. sent4: the fact that the Bath is both a rat-catcher and not causative is wrong. sent5: the voile is a kind of a rat-catcher. sent6: if there is something such that that it is not a canvas and it rids symmetry is incorrect then the voile is not a rat-catcher. sent7: that the Bath is catalytic is not false if the Lothario is a ramp. sent8: that the Lothario ramps hold if the fact that the poetess is not a kind of a Gomorrah and it is not a Dendroctonus is incorrect. sent9: the hoofer is not a kind of a barbecue if the Bath is catalytic and it is causative. sent10: the munition is not trivalent if the spruce is not a canvas and rids symmetry. sent11: if that the munition is not trivalent and it is not a Dendroctonus is false the voile is not trivalent. sent12: if the fact that something is catalytic and not a Gomorrah is not true it is a Gomorrah. ; $proof$ = 
void -> assump1: Let's assume that the fact that the spruce is not a canvas and does rid symmetry does not hold.; assump1 -> int1: there exists something such that that it does not canvas and does rid symmetry is not right.; int1 & sent6 -> int2: the voile is not a rat-catcher.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spruce does not canvas and does rid symmetry.; int4 & sent10 -> int5: the munition is not trivalent.; int5 & sent3 -> int6: that the poetess is not a Gomorrah and is not a Dendroctonus is incorrect.; int6 & sent8 -> int7: the Lothario does ramp.; int7 & sent7 -> int8: the Bath is not non-catalytic.; __UNKNOWN__