there exists something such that if it is not mesolithic it is not receptive.
sent1: there exists something such that if it is not mesolithic it is receptive. sent2: if the Marylander is not phonemic then it is not mesolithic. sent3: there is something such that that it is not Hippocratic and is not anserine is wrong. sent4: if that the fact that something is a kind of a greenmarket that is non-mesolithic is right is wrong it is non-mesolithic. sent5: the Lotus does not barrel. sent6: the Lotus is mesolithic if it is receptive. sent7: the deadhead is not phonemic. sent8: the Lotus is not a kind of a flounder if there is something such that that it is not Hippocratic and it is not anserine does not hold. sent9: that something is not a hardwood and is not receptive is wrong if it is mesolithic. sent10: the mealberry does quarantine. sent11: if the fact that something is not a hardwood and not receptive does not hold it is receptive. sent12: something does rice if it is receptive. sent13: if the Lotus is not receptive it extends stillness.
void -> assump2: Let's assume that the fact that the Lotus is receptive is correct.; sent6 & assump2 -> int1: the fact that the Lotus is mesolithic hold.; void -> assump1: Let's assume that the Lotus is not mesolithic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the Lotus is not receptive.; [assump1] & int3 -> int4: the Lotus is not receptive if it is not mesolithic.; int4 -> hypothesis;
the cliff is a rice.
sent12 -> int5: the cliff is a rice if it is receptive.; sent11 -> int6: if the fact that the cliff is not a kind of a hardwood and is unreceptive does not hold it is unreceptive.; sent9 -> int7: that the cliff is both not a hardwood and not receptive is not true if that it is mesolithic is not incorrect.; sent4 -> int8: if that the cliff is a greenmarket but it is not mesolithic is not right then it is mesolithic.; sent3 & sent8 -> int9: the Lotus is not a flounder.; int9 -> int10: something does not flounder.;
$hypothesis$ = there exists something such that if it is not mesolithic it is not receptive. ; $context$ = sent1: there exists something such that if it is not mesolithic it is receptive. sent2: if the Marylander is not phonemic then it is not mesolithic. sent3: there is something such that that it is not Hippocratic and is not anserine is wrong. sent4: if that the fact that something is a kind of a greenmarket that is non-mesolithic is right is wrong it is non-mesolithic. sent5: the Lotus does not barrel. sent6: the Lotus is mesolithic if it is receptive. sent7: the deadhead is not phonemic. sent8: the Lotus is not a kind of a flounder if there is something such that that it is not Hippocratic and it is not anserine does not hold. sent9: that something is not a hardwood and is not receptive is wrong if it is mesolithic. sent10: the mealberry does quarantine. sent11: if the fact that something is not a hardwood and not receptive does not hold it is receptive. sent12: something does rice if it is receptive. sent13: if the Lotus is not receptive it extends stillness. ; $proof$ = 
void -> assump2: Let's assume that the fact that the Lotus is receptive is correct.; sent6 & assump2 -> int1: the fact that the Lotus is mesolithic hold.; void -> assump1: Let's assume that the Lotus is not mesolithic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the Lotus is not receptive.; [assump1] & int3 -> int4: the Lotus is not receptive if it is not mesolithic.; int4 -> hypothesis; __PROVED__