the tensiometer is not a foreman.
sent1: there exists something such that it is not craniometric. sent2: the mutineer is not laryngeal and does effect Tangshan if it is not glottal. sent3: the Land is laryngeal. sent4: the Land is laryngeal if it is not glottal. sent5: something is not an opener if that it is glottal and it is corpuscular is not correct. sent6: if the orderly is both not a Taichung and an excise the mutineer is not glottal. sent7: the Land does effect stepson or is inextricable or both if the Schoolman is not a kind of an opener. sent8: the caroler is a kind of catarrhal a foreman. sent9: the Schoolman is inextricable. sent10: if either the orderly is an opener or it does effect stepson or both then the mutineer is not inextricable. sent11: the Schoolman is both oceanic and galactic if there is something such that it is not inextricable. sent12: the Schoolman is extricable if it is not a world-weariness. sent13: if the mutineer is not laryngeal but it does effect Tangshan then the Schoolman is not laryngeal. sent14: if the fact that something is a world-weariness and is corpuscular is not right it is not inextricable. sent15: something that is inextricable is oceanic. sent16: if the orderly is not thermionic then the tensiometer is not a foreman. sent17: that the Schoolman is a world-weariness and it is corpuscular does not hold if the Land is not oceanic. sent18: that the tensiometer is not a foreman is not incorrect if the fact that the orderly is thermionic and is not craniometric is not correct. sent19: the fact that something is not thermionic but it is craniometric is incorrect if that it is not laryngeal is not wrong. sent20: something is a kind of a foreman if it is oceanic. sent21: something is not inextricable if it is not a world-weariness. sent22: the Land is not glottal. sent23: something is not an opener if that it is both not thermionic and craniometric is not correct. sent24: if the mutineer is not an opener the fact that the orderly is a kind of thermionic thing that is not craniometric is wrong. sent25: the mutineer is not an opener if the Land is oceanic and effects stepson. sent26: the Land effects stepson and it is laryngeal if that it is not glottal is not wrong.
void -> assump1: Let's assume that the Land is not oceanic.; sent17 & assump1 -> int1: that the Schoolman is a world-weariness and it is corpuscular is wrong.; sent14 -> int2: the Schoolman is not inextricable if the fact that it is a world-weariness and corpuscular is false.; int1 & int2 -> int3: the Schoolman is not inextricable.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Land is oceanic.; sent26 & sent22 -> int6: the Land effects stepson and is laryngeal.; int6 -> int7: the Land effects stepson.; int5 & int7 -> int8: the Land is oceanic and does effect stepson.; int8 & sent25 -> int9: that the mutineer is not an opener is correct.; int9 & sent24 -> int10: that the orderly is thermionic and is not craniometric is not right.; int10 & sent18 -> hypothesis;
the fact that the Land is corpuscular and is not galactic is not correct.
$hypothesis$ = the tensiometer is not a foreman. ; $context$ = sent1: there exists something such that it is not craniometric. sent2: the mutineer is not laryngeal and does effect Tangshan if it is not glottal. sent3: the Land is laryngeal. sent4: the Land is laryngeal if it is not glottal. sent5: something is not an opener if that it is glottal and it is corpuscular is not correct. sent6: if the orderly is both not a Taichung and an excise the mutineer is not glottal. sent7: the Land does effect stepson or is inextricable or both if the Schoolman is not a kind of an opener. sent8: the caroler is a kind of catarrhal a foreman. sent9: the Schoolman is inextricable. sent10: if either the orderly is an opener or it does effect stepson or both then the mutineer is not inextricable. sent11: the Schoolman is both oceanic and galactic if there is something such that it is not inextricable. sent12: the Schoolman is extricable if it is not a world-weariness. sent13: if the mutineer is not laryngeal but it does effect Tangshan then the Schoolman is not laryngeal. sent14: if the fact that something is a world-weariness and is corpuscular is not right it is not inextricable. sent15: something that is inextricable is oceanic. sent16: if the orderly is not thermionic then the tensiometer is not a foreman. sent17: that the Schoolman is a world-weariness and it is corpuscular does not hold if the Land is not oceanic. sent18: that the tensiometer is not a foreman is not incorrect if the fact that the orderly is thermionic and is not craniometric is not correct. sent19: the fact that something is not thermionic but it is craniometric is incorrect if that it is not laryngeal is not wrong. sent20: something is a kind of a foreman if it is oceanic. sent21: something is not inextricable if it is not a world-weariness. sent22: the Land is not glottal. sent23: something is not an opener if that it is both not thermionic and craniometric is not correct. sent24: if the mutineer is not an opener the fact that the orderly is a kind of thermionic thing that is not craniometric is wrong. sent25: the mutineer is not an opener if the Land is oceanic and effects stepson. sent26: the Land effects stepson and it is laryngeal if that it is not glottal is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the Land is not oceanic.; sent17 & assump1 -> int1: that the Schoolman is a world-weariness and it is corpuscular is wrong.; sent14 -> int2: the Schoolman is not inextricable if the fact that it is a world-weariness and corpuscular is false.; int1 & int2 -> int3: the Schoolman is not inextricable.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Land is oceanic.; sent26 & sent22 -> int6: the Land effects stepson and is laryngeal.; int6 -> int7: the Land effects stepson.; int5 & int7 -> int8: the Land is oceanic and does effect stepson.; int8 & sent25 -> int9: that the mutineer is not an opener is correct.; int9 & sent24 -> int10: that the orderly is thermionic and is not craniometric is not right.; int10 & sent18 -> hypothesis; __PROVED__