the Atrovent is not a kind of a saccharinity.
sent1: if the Atrovent either does not mellow Steuben or is not a habitat or both then it is homocercal. sent2: something is a kind of a Earth if it is homocercal. sent3: if the neopallium does mellow stretcher-bearer the fact that it is not indistinguishable and it is not a kind of a sponge is false. sent4: the Atrovent is a lordship. sent5: that the shag is not a habitat and is not a saccharinity is not true if the elver does mellow Steuben. sent6: the shag is a kind of a Earth. sent7: if that the Atrovent is a Earth and it is a lordship is not correct it is not a Earth. sent8: either the Atrovent does not mellow Steuben or it is a habitat or both. sent9: the Atrovent does mellow Steuben and/or it is not a habitat. sent10: the Atrovent does not synthesize compote if it is a sponge and a habitat. sent11: the monotype is not a Earth if the adulterer does not synthesize compote and/or it is not a kind of a lordship. sent12: the neopallium mellows stretcher-bearer. sent13: the Atrovent is a saccharinity if the shag is a saccharinity. sent14: the shag is indistinguishable. sent15: if the shag is a sponge and indistinguishable it does not synthesize compote. sent16: something that is a kind of a lordship that is a kind of a habitat is not a saccharinity. sent17: if the monotype is not a Earth then the elver does mellow Steuben and it is homocercal. sent18: the outcrop is not a kind of a Earth. sent19: if the Atrovent is a Earth then the shag synthesizes compote. sent20: the blackmailer is a lordship. sent21: the shag is a sponge and indistinguishable. sent22: either the Atrovent does not synthesize compote or it does not mellow Steuben or both. sent23: the love-in-winter is not a habitat if the Atrovent is not a habitat and is not homocercal.
void -> assump1: Let's assume that the Atrovent is not a kind of a habitat.; assump1 -> int1: either the Atrovent does not mellow Steuben or it is not a habitat or both.; int1 & sent1 -> int2: the Atrovent is homocercal.; sent2 -> int3: if the fact that the Atrovent is homocercal hold then it is a Earth.; int2 & int3 -> int4: that the Atrovent is a kind of a Earth is not wrong.; int4 & sent19 -> int5: the shag synthesizes compote.; sent15 & sent21 -> int6: the shag does not synthesize compote.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Atrovent is a habitat.; int8 & sent4 -> int9: the Atrovent is both a lordship and a habitat.; sent16 -> int10: if the Atrovent is a kind of a lordship and it is a habitat then it is not a kind of a saccharinity.; int9 & int10 -> hypothesis;
the Atrovent is a saccharinity.
sent3 & sent12 -> int11: that the neopallium is not indistinguishable and it is not a kind of a sponge is wrong.; int11 -> int12: there is something such that that it is distinguishable and it is not a sponge is not true.;
$hypothesis$ = the Atrovent is not a kind of a saccharinity. ; $context$ = sent1: if the Atrovent either does not mellow Steuben or is not a habitat or both then it is homocercal. sent2: something is a kind of a Earth if it is homocercal. sent3: if the neopallium does mellow stretcher-bearer the fact that it is not indistinguishable and it is not a kind of a sponge is false. sent4: the Atrovent is a lordship. sent5: that the shag is not a habitat and is not a saccharinity is not true if the elver does mellow Steuben. sent6: the shag is a kind of a Earth. sent7: if that the Atrovent is a Earth and it is a lordship is not correct it is not a Earth. sent8: either the Atrovent does not mellow Steuben or it is a habitat or both. sent9: the Atrovent does mellow Steuben and/or it is not a habitat. sent10: the Atrovent does not synthesize compote if it is a sponge and a habitat. sent11: the monotype is not a Earth if the adulterer does not synthesize compote and/or it is not a kind of a lordship. sent12: the neopallium mellows stretcher-bearer. sent13: the Atrovent is a saccharinity if the shag is a saccharinity. sent14: the shag is indistinguishable. sent15: if the shag is a sponge and indistinguishable it does not synthesize compote. sent16: something that is a kind of a lordship that is a kind of a habitat is not a saccharinity. sent17: if the monotype is not a Earth then the elver does mellow Steuben and it is homocercal. sent18: the outcrop is not a kind of a Earth. sent19: if the Atrovent is a Earth then the shag synthesizes compote. sent20: the blackmailer is a lordship. sent21: the shag is a sponge and indistinguishable. sent22: either the Atrovent does not synthesize compote or it does not mellow Steuben or both. sent23: the love-in-winter is not a habitat if the Atrovent is not a habitat and is not homocercal. ; $proof$ = 
void -> assump1: Let's assume that the Atrovent is not a kind of a habitat.; assump1 -> int1: either the Atrovent does not mellow Steuben or it is not a habitat or both.; int1 & sent1 -> int2: the Atrovent is homocercal.; sent2 -> int3: if the fact that the Atrovent is homocercal hold then it is a Earth.; int2 & int3 -> int4: that the Atrovent is a kind of a Earth is not wrong.; int4 & sent19 -> int5: the shag synthesizes compote.; sent15 & sent21 -> int6: the shag does not synthesize compote.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Atrovent is a habitat.; int8 & sent4 -> int9: the Atrovent is both a lordship and a habitat.; sent16 -> int10: if the Atrovent is a kind of a lordship and it is a habitat then it is not a kind of a saccharinity.; int9 & int10 -> hypothesis; __PROVED__