something is a Hassam and fractional.
sent1: the napery is a ghost and it is thalassic. sent2: something does not drone Lycoperdon. sent3: there exists something such that it is a Hassam. sent4: something is thalassic. sent5: if the fact that the chlorine is not a fellah and extinguishes vicar is wrong then the greengrocery is a Hassam. sent6: if something is not fractional then the fact that the chlorine is not a Hassam and extinguishes vicar is incorrect. sent7: if the napery does extinguish vicar then the chlorine is fractional. sent8: either the napery is not a diol or it is fractional or both. sent9: if something is not thalassic that that the chlorine is a fellah and it does extinguish vicar is incorrect is correct. sent10: the greengrocery is fractional if there exists something such that it is fractional. sent11: something is a kind of a diol and/or it is fractional. sent12: the fact that the chlorine is not a fellah and does extinguish vicar is not true if there is something such that it is not thalassic. sent13: there exists something such that it is not thalassic. sent14: the fact that the napery does not extinguish vicar but it is fractional does not hold if there exists something such that it is not a diol. sent15: the greengrocery is fractional if something is not a diol or it is fractional or both. sent16: the greengrocery is a kind of a Hassam if that the chlorine is a fellah is right.
sent13 & sent12 -> int1: that that the chlorine is not a kind of a fellah and does extinguish vicar is not true is not wrong.; int1 & sent5 -> int2: the greengrocery is a kind of a Hassam.; sent8 -> int3: there exists something such that it is not a diol and/or it is fractional.; int3 & sent15 -> int4: the fact that the greengrocery is fractional is not false.; int2 & int4 -> int5: the greengrocery is a kind of a Hassam and is fractional.; int5 -> hypothesis;
$hypothesis$ = something is a Hassam and fractional. ; $context$ = sent1: the napery is a ghost and it is thalassic. sent2: something does not drone Lycoperdon. sent3: there exists something such that it is a Hassam. sent4: something is thalassic. sent5: if the fact that the chlorine is not a fellah and extinguishes vicar is wrong then the greengrocery is a Hassam. sent6: if something is not fractional then the fact that the chlorine is not a Hassam and extinguishes vicar is incorrect. sent7: if the napery does extinguish vicar then the chlorine is fractional. sent8: either the napery is not a diol or it is fractional or both. sent9: if something is not thalassic that that the chlorine is a fellah and it does extinguish vicar is incorrect is correct. sent10: the greengrocery is fractional if there exists something such that it is fractional. sent11: something is a kind of a diol and/or it is fractional. sent12: the fact that the chlorine is not a fellah and does extinguish vicar is not true if there is something such that it is not thalassic. sent13: there exists something such that it is not thalassic. sent14: the fact that the napery does not extinguish vicar but it is fractional does not hold if there exists something such that it is not a diol. sent15: the greengrocery is fractional if something is not a diol or it is fractional or both. sent16: the greengrocery is a kind of a Hassam if that the chlorine is a fellah is right. ; $proof$ = 
sent13 & sent12 -> int1: that that the chlorine is not a kind of a fellah and does extinguish vicar is not true is not wrong.; int1 & sent5 -> int2: the greengrocery is a kind of a Hassam.; sent8 -> int3: there exists something such that it is not a diol and/or it is fractional.; int3 & sent15 -> int4: the fact that the greengrocery is fractional is not false.; int2 & int4 -> int5: the greengrocery is a kind of a Hassam and is fractional.; int5 -> hypothesis; __PROVED__