the asthenosphere is not a maulstick.
sent1: if the ensemble is not a chintz that the polemonium is a kind of an exhibitor and it is millenarian is false. sent2: there exists something such that it is an eccentric. sent3: if the polemonium is not an exhibitor the fuller does not date baccalaureate. sent4: the asthenosphere is a maulstick if the ensemble is both not a maulstick and a chintz. sent5: if the fuller does not date baccalaureate that the telegraphy utters axiology or it does date baccalaureate or both is incorrect. sent6: the fact that the telegraphy does not utter axiology hold. sent7: the telegraphy does not utter axiology if the fuller does not date baccalaureate. sent8: there exists something such that it is not a kind of an eccentric. sent9: if the fact that the polemonium is both an exhibitor and millenarian does not hold then the fuller does not date baccalaureate. sent10: the asthenosphere does not utter Alnus. sent11: The Alnus does not utter asthenosphere. sent12: if there is something such that it is not an eccentric the ensemble is not a chintz. sent13: the asthenosphere is not a maulstick if it does not utter Alnus and it is not a neighborhood. sent14: the fact that the asthenosphere is not a kind of a neighborhood hold if the fact that the telegraphy utters axiology or it does date baccalaureate or both is false.
sent8 & sent12 -> int1: that the ensemble is not a chintz is true.; int1 & sent1 -> int2: that the polemonium is a kind of an exhibitor and it is a millenarian is wrong.; int2 & sent9 -> int3: the fuller does not date baccalaureate.; int3 & sent5 -> int4: the fact that the telegraphy utters axiology and/or does date baccalaureate is not right.; int4 & sent14 -> int5: the asthenosphere is not a neighborhood.; int5 & sent10 -> int6: the asthenosphere does not utter Alnus and is not a neighborhood.; int6 & sent13 -> hypothesis;
the asthenosphere is a maulstick.
$hypothesis$ = the asthenosphere is not a maulstick. ; $context$ = sent1: if the ensemble is not a chintz that the polemonium is a kind of an exhibitor and it is millenarian is false. sent2: there exists something such that it is an eccentric. sent3: if the polemonium is not an exhibitor the fuller does not date baccalaureate. sent4: the asthenosphere is a maulstick if the ensemble is both not a maulstick and a chintz. sent5: if the fuller does not date baccalaureate that the telegraphy utters axiology or it does date baccalaureate or both is incorrect. sent6: the fact that the telegraphy does not utter axiology hold. sent7: the telegraphy does not utter axiology if the fuller does not date baccalaureate. sent8: there exists something such that it is not a kind of an eccentric. sent9: if the fact that the polemonium is both an exhibitor and millenarian does not hold then the fuller does not date baccalaureate. sent10: the asthenosphere does not utter Alnus. sent11: The Alnus does not utter asthenosphere. sent12: if there is something such that it is not an eccentric the ensemble is not a chintz. sent13: the asthenosphere is not a maulstick if it does not utter Alnus and it is not a neighborhood. sent14: the fact that the asthenosphere is not a kind of a neighborhood hold if the fact that the telegraphy utters axiology or it does date baccalaureate or both is false. ; $proof$ = 
sent8 & sent12 -> int1: that the ensemble is not a chintz is true.; int1 & sent1 -> int2: that the polemonium is a kind of an exhibitor and it is a millenarian is wrong.; int2 & sent9 -> int3: the fuller does not date baccalaureate.; int3 & sent5 -> int4: the fact that the telegraphy utters axiology and/or does date baccalaureate is not right.; int4 & sent14 -> int5: the asthenosphere is not a neighborhood.; int5 & sent10 -> int6: the asthenosphere does not utter Alnus and is not a neighborhood.; int6 & sent13 -> hypothesis; __PROVED__