the fact that the tellurian is not a dorsum and/or it is a kind of an east is not right.
sent1: the fact that the habitation is non-tutorial hold. sent2: the tellurian is not a kind of an east but it is a kind of a worry. sent3: the tellurian is not a dorsum or it is a kind of an east or both if the Yquem is not east. sent4: the ossicle is not a thermotherapy if the tailgate is a kind of non-synoptic thing that is not a kind of a handbell. sent5: the Yquem is non-east if the ergotamine is not a thermotherapy or it does mound commissar or both. sent6: the fact that the commissar is a thermotherapy but it does not mound commissar is incorrect. sent7: the tailgate is not synoptic and it is not a handbell if the bamboo is a Hydnocarpus. sent8: the bamboo is a kind of a Hydnocarpus if the commissar is not a kind of a worry. sent9: the sowbane does medicate welwitschia and/or it is an east if the Yquem does not medicate welwitschia. sent10: if the fact that the commissar is a kind of a thermotherapy that does not mound commissar is incorrect the sowbane is a thermotherapy. sent11: if the habitation is not tutorial then the sowbane is not a kind of a striper and does medicate welwitschia. sent12: if the sowbane is not a kind of a striper but it does medicate welwitschia then the commissar is not a worry. sent13: the habitation is not a handbell and it is not synoptic if the sowbane is a kind of a thermotherapy. sent14: that the fact that either something is not a dorsum or it is east or both is true is false if it is a tutorial. sent15: if the ossicle is not a kind of a thermotherapy then the ergotamine is not a thermotherapy and/or it does mound commissar. sent16: if something is not a Hydnocarpus then it is a kind of tutorial thing that is not a worry.
sent11 & sent1 -> int1: the sowbane is not a striper but it medicates welwitschia.; sent12 & int1 -> int2: the commissar does not worry.; sent8 & int2 -> int3: the bamboo is a kind of a Hydnocarpus.; sent7 & int3 -> int4: the tailgate is not synoptic and it is not a handbell.; sent4 & int4 -> int5: the ossicle is not a kind of a thermotherapy.; sent15 & int5 -> int6: either the ergotamine is not a thermotherapy or it does mound commissar or both.; sent5 & int6 -> int7: that the Yquem is not an east is correct.; sent3 & int7 -> hypothesis;
that either the tellurian is not a kind of a dorsum or it is an east or both is wrong.
sent14 -> int8: if the tellurian is a tutorial that it is not a dorsum or is an east or both does not hold.; sent16 -> int9: if the tellurian is not a Hydnocarpus it is a kind of a tutorial and it does not worry.; sent10 & sent6 -> int10: the sowbane is a kind of a thermotherapy.; sent13 & int10 -> int11: the habitation is not a kind of a handbell and is not synoptic.; int11 -> int12: the habitation is not a handbell.; int12 -> int13: there exists something such that it is not a handbell.;
$hypothesis$ = the fact that the tellurian is not a dorsum and/or it is a kind of an east is not right. ; $context$ = sent1: the fact that the habitation is non-tutorial hold. sent2: the tellurian is not a kind of an east but it is a kind of a worry. sent3: the tellurian is not a dorsum or it is a kind of an east or both if the Yquem is not east. sent4: the ossicle is not a thermotherapy if the tailgate is a kind of non-synoptic thing that is not a kind of a handbell. sent5: the Yquem is non-east if the ergotamine is not a thermotherapy or it does mound commissar or both. sent6: the fact that the commissar is a thermotherapy but it does not mound commissar is incorrect. sent7: the tailgate is not synoptic and it is not a handbell if the bamboo is a Hydnocarpus. sent8: the bamboo is a kind of a Hydnocarpus if the commissar is not a kind of a worry. sent9: the sowbane does medicate welwitschia and/or it is an east if the Yquem does not medicate welwitschia. sent10: if the fact that the commissar is a kind of a thermotherapy that does not mound commissar is incorrect the sowbane is a thermotherapy. sent11: if the habitation is not tutorial then the sowbane is not a kind of a striper and does medicate welwitschia. sent12: if the sowbane is not a kind of a striper but it does medicate welwitschia then the commissar is not a worry. sent13: the habitation is not a handbell and it is not synoptic if the sowbane is a kind of a thermotherapy. sent14: that the fact that either something is not a dorsum or it is east or both is true is false if it is a tutorial. sent15: if the ossicle is not a kind of a thermotherapy then the ergotamine is not a thermotherapy and/or it does mound commissar. sent16: if something is not a Hydnocarpus then it is a kind of tutorial thing that is not a worry. ; $proof$ = 
sent11 & sent1 -> int1: the sowbane is not a striper but it medicates welwitschia.; sent12 & int1 -> int2: the commissar does not worry.; sent8 & int2 -> int3: the bamboo is a kind of a Hydnocarpus.; sent7 & int3 -> int4: the tailgate is not synoptic and it is not a handbell.; sent4 & int4 -> int5: the ossicle is not a kind of a thermotherapy.; sent15 & int5 -> int6: either the ergotamine is not a thermotherapy or it does mound commissar or both.; sent5 & int6 -> int7: that the Yquem is not an east is correct.; sent3 & int7 -> hypothesis; __DISPROVED__