the steamer is not a plowman.
sent1: the Drambuie is not thermodynamics. sent2: something is a plowman if it is a production. sent3: if something does not knit Mimamsa but it is thermodynamics then the fact that it is a production is true. sent4: the Drambuie is a kind of a heavyheartedness if it is not a Passer. sent5: if the Drambuie is not a Passer then it knits Mimamsa and is a kind of a heavyheartedness. sent6: if the Styrofoam is a production then the Drambuie is not thermodynamics. sent7: that the Styrofoam is a plowman and it is a production is correct if it is not thermodynamics. sent8: if the steamer is a plowman the Styrofoam is a production. sent9: there exists something such that it is not a kind of a pound. sent10: the Drambuie is a heavyheartedness. sent11: the Drambuie does not knit Mimamsa and it is not thermodynamics if the Styrofoam is a production. sent12: something does not knit Mimamsa. sent13: there exists something such that it pounds. sent14: the Drambuie is not a kind of a Passer if there is something such that it is not a pound. sent15: the steamer does not knit Mimamsa and is thermodynamics if the Styrofoam is not a heavyheartedness.
void -> assump1: Let's assume that the steamer is a plowman.; sent8 & assump1 -> int1: the Styrofoam is a production.; int1 & sent11 -> int2: the Drambuie does not knit Mimamsa and it is not thermodynamics.; int2 -> int3: the Drambuie does not knit Mimamsa.; sent9 & sent14 -> int4: the Drambuie is not a kind of a Passer.; sent5 & int4 -> int5: the Drambuie knits Mimamsa and is a heavyheartedness.; int5 -> int6: the Drambuie does knit Mimamsa.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
there exists something such that it is not a oxheart.
$hypothesis$ = the steamer is not a plowman. ; $context$ = sent1: the Drambuie is not thermodynamics. sent2: something is a plowman if it is a production. sent3: if something does not knit Mimamsa but it is thermodynamics then the fact that it is a production is true. sent4: the Drambuie is a kind of a heavyheartedness if it is not a Passer. sent5: if the Drambuie is not a Passer then it knits Mimamsa and is a kind of a heavyheartedness. sent6: if the Styrofoam is a production then the Drambuie is not thermodynamics. sent7: that the Styrofoam is a plowman and it is a production is correct if it is not thermodynamics. sent8: if the steamer is a plowman the Styrofoam is a production. sent9: there exists something such that it is not a kind of a pound. sent10: the Drambuie is a heavyheartedness. sent11: the Drambuie does not knit Mimamsa and it is not thermodynamics if the Styrofoam is a production. sent12: something does not knit Mimamsa. sent13: there exists something such that it pounds. sent14: the Drambuie is not a kind of a Passer if there is something such that it is not a pound. sent15: the steamer does not knit Mimamsa and is thermodynamics if the Styrofoam is not a heavyheartedness. ; $proof$ = 
void -> assump1: Let's assume that the steamer is a plowman.; sent8 & assump1 -> int1: the Styrofoam is a production.; int1 & sent11 -> int2: the Drambuie does not knit Mimamsa and it is not thermodynamics.; int2 -> int3: the Drambuie does not knit Mimamsa.; sent9 & sent14 -> int4: the Drambuie is not a kind of a Passer.; sent5 & int4 -> int5: the Drambuie knits Mimamsa and is a heavyheartedness.; int5 -> int6: the Drambuie does knit Mimamsa.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__