there exists something such that if it does rusticate it is a kind of a Aristotelian.
sent1: the fact that something is non-dysplastic thing that does irradiate negus is incorrect if it is not oncological. sent2: if the pabulum is a tender it lexicalizes oxytocic. sent3: if the patzer is longing it is not a kind of a tender and it does not lexicalize oxytocic. sent4: everything is not oncological. sent5: if the patzer does not tender and it does not rusticate then the pabulum does strangulate. sent6: if that the jimmies is a kind of non-dysplastic thing that does irradiate negus is not right then the patzer is not a satinwood. sent7: that the wad rusticates is not incorrect. sent8: the pabulum strains. sent9: if the pabulum rusticates then the fact that it is a kind of a tender is true. sent10: something is not non-polychromatic if it is a kind of a congratulation. sent11: there exists something such that if the fact that it is Aristotelian is correct then it tenders. sent12: the pabulum is a kind of a mercantilism. sent13: the fact that something tenders if it lexicalizes oxytocic is right. sent14: the liquor rusticates. sent15: the pabulum lexicalizes Glycyrrhiza. sent16: if something does lexicalize oxytocic then it is a Aristotelian. sent17: the patzer is longing. sent18: the pabulum ages howdah. sent19: the pabulum is a comprehensibility.
void -> assump1: Let's assume that the pabulum rusticates.; sent9 & assump1 -> int1: the pabulum does tender.; int1 & sent2 -> int2: the pabulum lexicalizes oxytocic.; sent16 -> int3: if that the pabulum does lexicalize oxytocic is true it is a Aristotelian.; int2 & int3 -> int4: the pabulum is a Aristotelian.; [assump1] & int4 -> int5: the pabulum is a Aristotelian if it does rusticate.; int5 -> hypothesis;
the pabulum strangulates.
sent17 & sent3 -> int6: the patzer does not tender and it does not lexicalize oxytocic.; int6 -> int7: the patzer is not a tender.; sent1 -> int8: that the length is not dysplastic but it does irradiate negus is false if the fact that it is not oncological hold.; sent4 -> int9: the length is not oncological.; int8 & int9 -> int10: that the length is not dysplastic but it does irradiate negus does not hold.; int10 -> int11: there is nothing that is not dysplastic and does irradiate negus.; int11 -> int12: that the jimmies is not dysplastic but it irradiates negus is not correct.; sent6 & int12 -> int13: the patzer is not a kind of a satinwood.;
$hypothesis$ = there exists something such that if it does rusticate it is a kind of a Aristotelian. ; $context$ = sent1: the fact that something is non-dysplastic thing that does irradiate negus is incorrect if it is not oncological. sent2: if the pabulum is a tender it lexicalizes oxytocic. sent3: if the patzer is longing it is not a kind of a tender and it does not lexicalize oxytocic. sent4: everything is not oncological. sent5: if the patzer does not tender and it does not rusticate then the pabulum does strangulate. sent6: if that the jimmies is a kind of non-dysplastic thing that does irradiate negus is not right then the patzer is not a satinwood. sent7: that the wad rusticates is not incorrect. sent8: the pabulum strains. sent9: if the pabulum rusticates then the fact that it is a kind of a tender is true. sent10: something is not non-polychromatic if it is a kind of a congratulation. sent11: there exists something such that if the fact that it is Aristotelian is correct then it tenders. sent12: the pabulum is a kind of a mercantilism. sent13: the fact that something tenders if it lexicalizes oxytocic is right. sent14: the liquor rusticates. sent15: the pabulum lexicalizes Glycyrrhiza. sent16: if something does lexicalize oxytocic then it is a Aristotelian. sent17: the patzer is longing. sent18: the pabulum ages howdah. sent19: the pabulum is a comprehensibility. ; $proof$ = 
void -> assump1: Let's assume that the pabulum rusticates.; sent9 & assump1 -> int1: the pabulum does tender.; int1 & sent2 -> int2: the pabulum lexicalizes oxytocic.; sent16 -> int3: if that the pabulum does lexicalize oxytocic is true it is a Aristotelian.; int2 & int3 -> int4: the pabulum is a Aristotelian.; [assump1] & int4 -> int5: the pabulum is a Aristotelian if it does rusticate.; int5 -> hypothesis; __PROVED__