there exists something such that that it is not warmed is true.
sent1: the shunter bellows if it does mound shunter. sent2: the shunter is non-semi-tuberous. sent3: if the TMV is maxillofacial then it does not mound shunter. sent4: if the pantheist is lengthwise the impact is not a kind of a trachodon. sent5: the impact is not warmed if it is not a kind of a trachodon and is not raptorial. sent6: the pantheist is semi-tuberous if it is not lengthwise. sent7: if the pantheist is semi-tuberous then the fact that the shunter is not semi-tuberous and it does not mound Copenhagen is incorrect. sent8: if something is semi-tuberous it is not a bellows and is not lengthwise. sent9: if the pantheist is lengthwise the impact is both not a trachodon and not raptorial. sent10: that that the shunter is semi-tuberous but it does not mound Copenhagen is wrong hold if the pantheist is semi-tuberous. sent11: that the shunter does mound shunter is not incorrect. sent12: something is non-semi-tuberous thing that does not mound Copenhagen if it bellows. sent13: That the shunter does mound shunter is not incorrect.
void -> assump1: Let's assume that the pantheist is not lengthwise.; sent6 & assump1 -> int1: the fact that the pantheist is semi-tuberous is not wrong.; int1 & sent7 -> int2: that the shunter is not semi-tuberous and does not mound Copenhagen is false.; sent12 -> int3: if the shunter is a bellows then it is not semi-tuberous and it does not mound Copenhagen.; sent1 & sent11 -> int4: the shunter is a kind of a bellows.; int3 & int4 -> int5: the shunter is non-semi-tuberous thing that does not mound Copenhagen.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the pantheist is lengthwise.; int7 & sent9 -> int8: the impact is not a trachodon and not raptorial.; int8 & sent5 -> int9: the fact that the impact does not warm is not wrong.; int9 -> hypothesis;
$hypothesis$ = there exists something such that that it is not warmed is true. ; $context$ = sent1: the shunter bellows if it does mound shunter. sent2: the shunter is non-semi-tuberous. sent3: if the TMV is maxillofacial then it does not mound shunter. sent4: if the pantheist is lengthwise the impact is not a kind of a trachodon. sent5: the impact is not warmed if it is not a kind of a trachodon and is not raptorial. sent6: the pantheist is semi-tuberous if it is not lengthwise. sent7: if the pantheist is semi-tuberous then the fact that the shunter is not semi-tuberous and it does not mound Copenhagen is incorrect. sent8: if something is semi-tuberous it is not a bellows and is not lengthwise. sent9: if the pantheist is lengthwise the impact is both not a trachodon and not raptorial. sent10: that that the shunter is semi-tuberous but it does not mound Copenhagen is wrong hold if the pantheist is semi-tuberous. sent11: that the shunter does mound shunter is not incorrect. sent12: something is non-semi-tuberous thing that does not mound Copenhagen if it bellows. sent13: That the shunter does mound shunter is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the pantheist is not lengthwise.; sent6 & assump1 -> int1: the fact that the pantheist is semi-tuberous is not wrong.; int1 & sent7 -> int2: that the shunter is not semi-tuberous and does not mound Copenhagen is false.; sent12 -> int3: if the shunter is a bellows then it is not semi-tuberous and it does not mound Copenhagen.; sent1 & sent11 -> int4: the shunter is a kind of a bellows.; int3 & int4 -> int5: the shunter is non-semi-tuberous thing that does not mound Copenhagen.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the pantheist is lengthwise.; int7 & sent9 -> int8: the impact is not a trachodon and not raptorial.; int8 & sent5 -> int9: the fact that the impact does not warm is not wrong.; int9 -> hypothesis; __PROVED__