that there exists something such that it is not a kind of a throwster and does not ensconce bunsen is wrong.
sent1: if there exists something such that it is not a smear the fathometer is not consular. sent2: the earthquake is not a throwster and it does not ensconce bunsen if the trawler does not ensconce bunsen. sent3: the fuzz is a refilling. sent4: the earthquake is a kind of a refilling if the fathometer is not consular but it is a refilling. sent5: the trawler does not ensconce bunsen if the precinct is not odorless and it is not strategic. sent6: the precinct is non-odorless thing that is not strategic if the fathometer is not consular. sent7: there exists something such that it is not a kind of a throwster and it ensconces bunsen. sent8: if there exists something such that the fact that it smears and it is not a first-rater is false the fathometer is non-consular. sent9: something is a throwster but it does not ensconce bunsen. sent10: that something is a smear but it is not a first-rater is not true if it is a messuage. sent11: if the fuzz is a kind of a refilling then the lambkill is a messuage. sent12: an odorless thing is not a kind of a messuage and/or is strategic. sent13: if the trawler is not a throwster the earthquake does not ensconce bunsen.
sent10 -> int1: the fact that the lambkill is a smear but not a first-rater does not hold if it is a messuage.; sent11 & sent3 -> int2: the fact that the lambkill is a messuage hold.; int1 & int2 -> int3: the fact that the lambkill is both a smear and not a first-rater is false.; int3 -> int4: there is something such that the fact that it is a smear and is not a first-rater is wrong.; int4 & sent8 -> int5: the fathometer is not consular.; int5 & sent6 -> int6: the fact that the precinct is non-odorless thing that is not strategic hold.; int6 & sent5 -> int7: the fact that the trawler does not ensconce bunsen is not wrong.; int7 & sent2 -> int8: that the earthquake is not a throwster and does not ensconce bunsen is correct.; int8 -> hypothesis;
the earthquake is a refilling.
sent12 -> int9: if the precinct is odorless it is not a kind of a messuage and/or it is not non-strategic.;
$hypothesis$ = that there exists something such that it is not a kind of a throwster and does not ensconce bunsen is wrong. ; $context$ = sent1: if there exists something such that it is not a smear the fathometer is not consular. sent2: the earthquake is not a throwster and it does not ensconce bunsen if the trawler does not ensconce bunsen. sent3: the fuzz is a refilling. sent4: the earthquake is a kind of a refilling if the fathometer is not consular but it is a refilling. sent5: the trawler does not ensconce bunsen if the precinct is not odorless and it is not strategic. sent6: the precinct is non-odorless thing that is not strategic if the fathometer is not consular. sent7: there exists something such that it is not a kind of a throwster and it ensconces bunsen. sent8: if there exists something such that the fact that it smears and it is not a first-rater is false the fathometer is non-consular. sent9: something is a throwster but it does not ensconce bunsen. sent10: that something is a smear but it is not a first-rater is not true if it is a messuage. sent11: if the fuzz is a kind of a refilling then the lambkill is a messuage. sent12: an odorless thing is not a kind of a messuage and/or is strategic. sent13: if the trawler is not a throwster the earthquake does not ensconce bunsen. ; $proof$ = 
sent10 -> int1: the fact that the lambkill is a smear but not a first-rater does not hold if it is a messuage.; sent11 & sent3 -> int2: the fact that the lambkill is a messuage hold.; int1 & int2 -> int3: the fact that the lambkill is both a smear and not a first-rater is false.; int3 -> int4: there is something such that the fact that it is a smear and is not a first-rater is wrong.; int4 & sent8 -> int5: the fathometer is not consular.; int5 & sent6 -> int6: the fact that the precinct is non-odorless thing that is not strategic hold.; int6 & sent5 -> int7: the fact that the trawler does not ensconce bunsen is not wrong.; int7 & sent2 -> int8: that the earthquake is not a throwster and does not ensconce bunsen is correct.; int8 -> hypothesis; __DISPROVED__