there are unhealthy things.
sent1: something is not a kind of a dwarf and it is not a hypothyroidism. sent2: there exists something such that it is not a dwarf and it is a kind of a hypothyroidism. sent3: that if there exists something such that it is not lineal the speciation housekeeps touchline is not wrong. sent4: there exists something such that it is healthy. sent5: if the Mays does not housekeep clawback that the photocopier is not healthy hold. sent6: the speciation is a Alcidae if it does housekeep touchline. sent7: the fact that that the Mays does housekeep clawback and it is a bolete is right does not hold if the lashing is not a kind of a Pianola. sent8: the lashing is cogitative if something that is not a dwarf is not a hypothyroidism. sent9: the speciation is not a kind of a Alcidae if the lashing is cogitative and it is a kind of a Pianola. sent10: something is lineal and it does enjoy. sent11: there exists something such that that it is lineal and it does enjoy is wrong. sent12: there is something such that it is not a kind of a dwarf. sent13: there is something such that it is both a dwarf and not a hypothyroidism. sent14: if that the Mays does housekeep clawback and it is a kind of a bolete is not correct then the photocopier is not healthy. sent15: something is not a hypothyroidism. sent16: if there exists something such that that it is lineal and does enjoy does not hold then the speciation housekeeps touchline.
sent1 & sent8 -> int1: the lashing is cogitative.; void -> assump1: Let's assume that the fact that the lashing is a kind of a Pianola is right.; int1 & assump1 -> int2: the lashing is cogitative and it is a Pianola.; int2 & sent9 -> int3: that the speciation is not a Alcidae is right.; sent11 & sent16 -> int4: the speciation does housekeep touchline.; sent6 & int4 -> int5: the speciation is a Alcidae.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the lashing is not a Pianola.; int7 & sent7 -> int8: that the Mays does housekeep clawback and is a kind of a bolete is incorrect.; int8 & sent14 -> int9: the photocopier is not healthy.; int9 -> hypothesis;
$hypothesis$ = there are unhealthy things. ; $context$ = sent1: something is not a kind of a dwarf and it is not a hypothyroidism. sent2: there exists something such that it is not a dwarf and it is a kind of a hypothyroidism. sent3: that if there exists something such that it is not lineal the speciation housekeeps touchline is not wrong. sent4: there exists something such that it is healthy. sent5: if the Mays does not housekeep clawback that the photocopier is not healthy hold. sent6: the speciation is a Alcidae if it does housekeep touchline. sent7: the fact that that the Mays does housekeep clawback and it is a bolete is right does not hold if the lashing is not a kind of a Pianola. sent8: the lashing is cogitative if something that is not a dwarf is not a hypothyroidism. sent9: the speciation is not a kind of a Alcidae if the lashing is cogitative and it is a kind of a Pianola. sent10: something is lineal and it does enjoy. sent11: there exists something such that that it is lineal and it does enjoy is wrong. sent12: there is something such that it is not a kind of a dwarf. sent13: there is something such that it is both a dwarf and not a hypothyroidism. sent14: if that the Mays does housekeep clawback and it is a kind of a bolete is not correct then the photocopier is not healthy. sent15: something is not a hypothyroidism. sent16: if there exists something such that that it is lineal and does enjoy does not hold then the speciation housekeeps touchline. ; $proof$ = 
sent1 & sent8 -> int1: the lashing is cogitative.; void -> assump1: Let's assume that the fact that the lashing is a kind of a Pianola is right.; int1 & assump1 -> int2: the lashing is cogitative and it is a Pianola.; int2 & sent9 -> int3: that the speciation is not a Alcidae is right.; sent11 & sent16 -> int4: the speciation does housekeep touchline.; sent6 & int4 -> int5: the speciation is a Alcidae.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the lashing is not a Pianola.; int7 & sent7 -> int8: that the Mays does housekeep clawback and is a kind of a bolete is incorrect.; int8 & sent14 -> int9: the photocopier is not healthy.; int9 -> hypothesis; __PROVED__