the boiling is not a Townsend.
sent1: if the entoproct is not a Townsend then the boiling is grapelike and it is a worse. sent2: the cadmium codes. sent3: that the tangor is a Illimani and/or is not a kind of a mentor does not hold if the readout is athletic. sent4: if that that the entoproct is not an election but it is a worse is not true is right that the cadmium is not a kind of an election hold. sent5: the pepper-and-salt is either a torsion or not an enlargement or both if something is not an enlargement. sent6: something that is a code is a Townsend. sent7: if the cadmium is not a kind of an election the fact that it is not grapelike but unconventional is not right. sent8: if something is unconventional then it is grapelike. sent9: the boiling is likable. sent10: the fact that something is not an election but it is not non-worse is wrong if it is not likable. sent11: something that is a Townsend is likable. sent12: the cadmium is a kind of a code and it is unconventional. sent13: the boiling is worse thing that is likable. sent14: that the readout is athletic hold. sent15: a Townsend that is an election is not a worse. sent16: if the sawdust is both a vantage and not chromosomal then the entoproct is not likable. sent17: something that is non-Lancastrian is both a vantage and a immunocompetence. sent18: the boiling is an election if the cadmium is grapelike. sent19: the boiling is grapelike. sent20: there exists something such that it is not an enlargement. sent21: there is something such that the fact that it is a vantage and it is not likable is not correct. sent22: the sawdust is not sedimentary if the pepper-and-salt is a torsion and/or not an enlargement. sent23: something is not Lancastrian if it is not sedimentary. sent24: if something is not unconventional then it is a code that is an election.
sent12 -> int1: the cadmium is unconventional.; sent8 -> int2: if the cadmium is unconventional then it is grapelike.; int1 & int2 -> int3: the cadmium is grapelike.; int3 & sent18 -> int4: the fact that the boiling is an election is true.; void -> assump1: Let's assume that the fact that the boiling is a Townsend is not false.; int4 & assump1 -> int5: the boiling is a kind of a Townsend and it is an election.; sent15 -> int6: if the boiling is a Townsend and it is an election then it is not a kind of a worse.; int5 & int6 -> int7: the boiling is not worse.; sent13 -> int8: the boiling is a kind of a worse.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the boiling is a kind of a Townsend.
sent6 -> int10: if the boiling does code then it is a Townsend.; sent10 -> int11: that the entoproct is not an election but a worse is wrong if it is not likable.; sent17 -> int12: the sawdust is a vantage and it is a kind of a immunocompetence if that it is not a kind of a Lancastrian is not wrong.; sent23 -> int13: the sawdust is non-Lancastrian if that it is sedimentary does not hold.; sent20 & sent5 -> int14: the fact that the pepper-and-salt is a kind of a torsion or is not an enlargement or both is not incorrect.; sent22 & int14 -> int15: the sawdust is not sedimentary.; int13 & int15 -> int16: the sawdust is not Lancastrian.; int12 & int16 -> int17: the sawdust is both a vantage and a immunocompetence.; int17 -> int18: the sawdust is a kind of a vantage.; sent3 & sent14 -> int19: that the tangor is a Illimani or is not a mentor or both does not hold.; int19 -> int20: there is something such that that it is a Illimani or not a mentor or both is not true.;
$hypothesis$ = the boiling is not a Townsend. ; $context$ = sent1: if the entoproct is not a Townsend then the boiling is grapelike and it is a worse. sent2: the cadmium codes. sent3: that the tangor is a Illimani and/or is not a kind of a mentor does not hold if the readout is athletic. sent4: if that that the entoproct is not an election but it is a worse is not true is right that the cadmium is not a kind of an election hold. sent5: the pepper-and-salt is either a torsion or not an enlargement or both if something is not an enlargement. sent6: something that is a code is a Townsend. sent7: if the cadmium is not a kind of an election the fact that it is not grapelike but unconventional is not right. sent8: if something is unconventional then it is grapelike. sent9: the boiling is likable. sent10: the fact that something is not an election but it is not non-worse is wrong if it is not likable. sent11: something that is a Townsend is likable. sent12: the cadmium is a kind of a code and it is unconventional. sent13: the boiling is worse thing that is likable. sent14: that the readout is athletic hold. sent15: a Townsend that is an election is not a worse. sent16: if the sawdust is both a vantage and not chromosomal then the entoproct is not likable. sent17: something that is non-Lancastrian is both a vantage and a immunocompetence. sent18: the boiling is an election if the cadmium is grapelike. sent19: the boiling is grapelike. sent20: there exists something such that it is not an enlargement. sent21: there is something such that the fact that it is a vantage and it is not likable is not correct. sent22: the sawdust is not sedimentary if the pepper-and-salt is a torsion and/or not an enlargement. sent23: something is not Lancastrian if it is not sedimentary. sent24: if something is not unconventional then it is a code that is an election. ; $proof$ = 
sent12 -> int1: the cadmium is unconventional.; sent8 -> int2: if the cadmium is unconventional then it is grapelike.; int1 & int2 -> int3: the cadmium is grapelike.; int3 & sent18 -> int4: the fact that the boiling is an election is true.; void -> assump1: Let's assume that the fact that the boiling is a Townsend is not false.; int4 & assump1 -> int5: the boiling is a kind of a Townsend and it is an election.; sent15 -> int6: if the boiling is a Townsend and it is an election then it is not a kind of a worse.; int5 & int6 -> int7: the boiling is not worse.; sent13 -> int8: the boiling is a kind of a worse.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__