there are lean and fractional things.
sent1: the personification freeze-dries opacity and it is a nonworker. sent2: if that the personification does not regard sigh and is not a ruler is not true then the aerophile is not echoic. sent3: the hoper is a malformation. sent4: something is fractional. sent5: if that something is fractional thing that does not adjourn does not hold it is not echoic. sent6: the personification does lean if it does not regard sigh and is a kind of a ruler. sent7: if something is a kind of a malformation the fact that the personification is both nonfinancial and a monoamine is incorrect. sent8: if the fact that the personification is both nonfinancial and a monoamine is incorrect then it is not nonfinancial. sent9: if something is not nonfinancial then the fact that it is fractional and it does not adjourn is not correct. sent10: the fact that the aerophile is non-fractional and it does not freeze-dry popularism is not correct. sent11: the personification is fractional. sent12: if the personification is a ruler the aerophile is not echoic. sent13: there exists something such that it leans. sent14: the personification is not a ruler. sent15: the aerophile is placable. sent16: the aerophile is echoic. sent17: the aerophile is fractional. sent18: that the personification does not regard sigh and is a ruler is not correct.
void -> assump1: Let's assume that the fact that the personification does not regard sigh and is not a kind of a ruler is false.; sent2 & assump1 -> int1: the aerophile is not echoic.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: the personification does not regard sigh and is not a ruler.;
the aerophile regards sigh.
sent5 -> int4: the fact that if the fact that the personification is fractional and does not adjourn is incorrect then the personification is not echoic is true.; sent9 -> int5: that the personification is fractional thing that does not adjourn is not true if that it is not nonfinancial hold.; sent3 -> int6: there exists something such that it is a malformation.; int6 & sent7 -> int7: that the personification is nonfinancial and is a kind of a monoamine is not correct.; sent8 & int7 -> int8: the personification is not nonfinancial.; int5 & int8 -> int9: that the personification is fractional and does not adjourn is not true.; int4 & int9 -> int10: the personification is not echoic.; int10 -> int11: something is not echoic.;
$hypothesis$ = there are lean and fractional things. ; $context$ = sent1: the personification freeze-dries opacity and it is a nonworker. sent2: if that the personification does not regard sigh and is not a ruler is not true then the aerophile is not echoic. sent3: the hoper is a malformation. sent4: something is fractional. sent5: if that something is fractional thing that does not adjourn does not hold it is not echoic. sent6: the personification does lean if it does not regard sigh and is a kind of a ruler. sent7: if something is a kind of a malformation the fact that the personification is both nonfinancial and a monoamine is incorrect. sent8: if the fact that the personification is both nonfinancial and a monoamine is incorrect then it is not nonfinancial. sent9: if something is not nonfinancial then the fact that it is fractional and it does not adjourn is not correct. sent10: the fact that the aerophile is non-fractional and it does not freeze-dry popularism is not correct. sent11: the personification is fractional. sent12: if the personification is a ruler the aerophile is not echoic. sent13: there exists something such that it leans. sent14: the personification is not a ruler. sent15: the aerophile is placable. sent16: the aerophile is echoic. sent17: the aerophile is fractional. sent18: that the personification does not regard sigh and is a ruler is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the personification does not regard sigh and is not a kind of a ruler is false.; sent2 & assump1 -> int1: the aerophile is not echoic.; int1 & sent16 -> int2: this is contradiction.; [assump1] & int2 -> int3: the personification does not regard sigh and is not a ruler.; __UNKNOWN__