that there exists something such that if it is not a kind of an emplacement it does parse bawler hold.
sent1: there exists something such that if it is an emplacement it does parse bawler. sent2: that something parses bawler is correct if it is univalve and is not a Carthusian. sent3: the birthwort is univalve. sent4: something does bate but it is non-existential if it does not parse syllabub. sent5: if the fact that the goldenseal does not twig hold it calculates and is not a kind of an emplacement. sent6: the birthwort is univalve if it is not an emplacement. sent7: if something is not an emplacement it is univalve. sent8: the birthwort is not a polynomial. sent9: if something is not an emplacement then it is univalve and it is not a Carthusian. sent10: something is a kind of univalve thing that is not a kind of a Carthusian if it is an emplacement. sent11: that the birthwort does parse bawler is not wrong if it is an emplacement. sent12: there exists something such that if it is not a packaged it parses designer. sent13: if something that does enroll does not parse bigot then that it is a reform hold. sent14: there is something such that if it is not a provincialism that it reforms hold. sent15: a pellucidness that is not a Sauterne does parse Neandertal. sent16: something is a mentalism if it is a quadratic and it does not article Hohhot. sent17: the birthwort parses designer if it does fix Pound and it does not laugh. sent18: if the fact that the birthwort is not Carthusian hold then it is crosswise. sent19: if the birthwort is an emplacement then it is univalve but not Carthusian.
sent9 -> int1: if the birthwort is not an emplacement then it is univalve and is not a kind of a Carthusian.; void -> assump1: Let's assume that that the birthwort is not an emplacement hold.; int1 & assump1 -> int2: the birthwort is univalve but it is not Carthusian.; sent2 -> int3: the birthwort does parse bawler if the fact that it is univalve and it is not a Carthusian is correct.; int2 & int3 -> int4: the birthwort parses bawler.; [assump1] & int4 -> int5: the birthwort parses bawler if it is not a kind of an emplacement.; int5 -> hypothesis;
$hypothesis$ = that there exists something such that if it is not a kind of an emplacement it does parse bawler hold. ; $context$ = sent1: there exists something such that if it is an emplacement it does parse bawler. sent2: that something parses bawler is correct if it is univalve and is not a Carthusian. sent3: the birthwort is univalve. sent4: something does bate but it is non-existential if it does not parse syllabub. sent5: if the fact that the goldenseal does not twig hold it calculates and is not a kind of an emplacement. sent6: the birthwort is univalve if it is not an emplacement. sent7: if something is not an emplacement it is univalve. sent8: the birthwort is not a polynomial. sent9: if something is not an emplacement then it is univalve and it is not a Carthusian. sent10: something is a kind of univalve thing that is not a kind of a Carthusian if it is an emplacement. sent11: that the birthwort does parse bawler is not wrong if it is an emplacement. sent12: there exists something such that if it is not a packaged it parses designer. sent13: if something that does enroll does not parse bigot then that it is a reform hold. sent14: there is something such that if it is not a provincialism that it reforms hold. sent15: a pellucidness that is not a Sauterne does parse Neandertal. sent16: something is a mentalism if it is a quadratic and it does not article Hohhot. sent17: the birthwort parses designer if it does fix Pound and it does not laugh. sent18: if the fact that the birthwort is not Carthusian hold then it is crosswise. sent19: if the birthwort is an emplacement then it is univalve but not Carthusian. ; $proof$ = 
sent9 -> int1: if the birthwort is not an emplacement then it is univalve and is not a kind of a Carthusian.; void -> assump1: Let's assume that that the birthwort is not an emplacement hold.; int1 & assump1 -> int2: the birthwort is univalve but it is not Carthusian.; sent2 -> int3: the birthwort does parse bawler if the fact that it is univalve and it is not a Carthusian is correct.; int2 & int3 -> int4: the birthwort parses bawler.; [assump1] & int4 -> int5: the birthwort parses bawler if it is not a kind of an emplacement.; int5 -> hypothesis; __PROVED__