there exists something such that if it is a septectomy it is not convex and it is not a mendacity.
sent1: if the aftereffect is not brunet it is not convex. sent2: a non-brunet thing is not convex. sent3: if something is a thyroprotein it is not a asparaginase. sent4: that something is non-subjective but it is brunet is not correct if it is Falstaffian. sent5: the ribosome is not cortico-hypothalamic if the fact that it oversleeps is not false. sent6: if that the checker is a kind of non-digital thing that does wire Johnson is not correct it is not convex. sent7: something is not convex if the fact that it is not subjective and it is a brunet is wrong. sent8: the aftereffect does not shelter Schenectady and it is not a cesium. sent9: the sleeping is not a mendacity if it is a kind of a ulalgia. sent10: there is something such that if it is a thyroprotein it is not a kind of a mikado and is not annelid. sent11: if the aftereffect is a kind of a mendacity it is a septectomy. sent12: the onyx is subjective if the aftereffect is subjective. sent13: there is something such that if it is a kind of a septectomy it is not convex and it is a kind of a mendacity. sent14: there exists something such that if it is a septectomy it is convex and it is not a mendacity. sent15: the aftereffect is not a septectomy if it is a mendacity. sent16: the aftereffect does distinguish comment. sent17: the aftereffect shelters Osaka. sent18: the aftereffect is Falstaffian and shelters Osaka.
void -> assump1: Let's assume that the aftereffect is a kind of a mendacity.; sent15 & assump1 -> int1: the aftereffect is not a septectomy.; void -> assump2: Let's assume that the aftereffect is a kind of a septectomy.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the aftereffect is not a mendacity.; sent7 -> int4: if that the aftereffect is both not subjective and a brunet does not hold it is not convex.; sent4 -> int5: if the aftereffect is Falstaffian the fact that it is not subjective and it is a brunet is not correct.; sent18 -> int6: the aftereffect is Falstaffian.; int5 & int6 -> int7: that the aftereffect is a kind of non-subjective thing that is a brunet is not correct.; int4 & int7 -> int8: the fact that the aftereffect is not convex hold.; int3 & int8 -> int9: the aftereffect is not convex and it is not a kind of a mendacity.; [assump2] & int9 -> int10: if the aftereffect is a septectomy then it is not convex and is not a kind of a mendacity.; int10 -> hypothesis;
the onyx is subjective a nudge.
$hypothesis$ = there exists something such that if it is a septectomy it is not convex and it is not a mendacity. ; $context$ = sent1: if the aftereffect is not brunet it is not convex. sent2: a non-brunet thing is not convex. sent3: if something is a thyroprotein it is not a asparaginase. sent4: that something is non-subjective but it is brunet is not correct if it is Falstaffian. sent5: the ribosome is not cortico-hypothalamic if the fact that it oversleeps is not false. sent6: if that the checker is a kind of non-digital thing that does wire Johnson is not correct it is not convex. sent7: something is not convex if the fact that it is not subjective and it is a brunet is wrong. sent8: the aftereffect does not shelter Schenectady and it is not a cesium. sent9: the sleeping is not a mendacity if it is a kind of a ulalgia. sent10: there is something such that if it is a thyroprotein it is not a kind of a mikado and is not annelid. sent11: if the aftereffect is a kind of a mendacity it is a septectomy. sent12: the onyx is subjective if the aftereffect is subjective. sent13: there is something such that if it is a kind of a septectomy it is not convex and it is a kind of a mendacity. sent14: there exists something such that if it is a septectomy it is convex and it is not a mendacity. sent15: the aftereffect is not a septectomy if it is a mendacity. sent16: the aftereffect does distinguish comment. sent17: the aftereffect shelters Osaka. sent18: the aftereffect is Falstaffian and shelters Osaka. ; $proof$ = 
void -> assump1: Let's assume that the aftereffect is a kind of a mendacity.; sent15 & assump1 -> int1: the aftereffect is not a septectomy.; void -> assump2: Let's assume that the aftereffect is a kind of a septectomy.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the aftereffect is not a mendacity.; sent7 -> int4: if that the aftereffect is both not subjective and a brunet does not hold it is not convex.; sent4 -> int5: if the aftereffect is Falstaffian the fact that it is not subjective and it is a brunet is not correct.; sent18 -> int6: the aftereffect is Falstaffian.; int5 & int6 -> int7: that the aftereffect is a kind of non-subjective thing that is a brunet is not correct.; int4 & int7 -> int8: the fact that the aftereffect is not convex hold.; int3 & int8 -> int9: the aftereffect is not convex and it is not a kind of a mendacity.; [assump2] & int9 -> int10: if the aftereffect is a septectomy then it is not convex and is not a kind of a mendacity.; int10 -> hypothesis; __PROVED__