there is something such that if it elutes Schopenhauer then it is not a grant.
sent1: the syncarp does loom scourge. sent2: the meperidine is a pregnanediol. sent3: the syncarp is a kind of a mackintosh. sent4: if something is a rain and it does elute Schopenhauer then it grants. sent5: if the syncarp elutes betterment and it does cane cryptogram then it is not anisotropic. sent6: the sodalite elutes stanhope and is a kind of a meadowgrass. sent7: if something does not elute bier then the syncarp is a kind of a rain. sent8: the syncarp is aggressive and it is a gorse. sent9: the syncarp is a gorse. sent10: the syncarp is a grant if it rains and it elutes Schopenhauer. sent11: that the bier is a fear and it elutes Schopenhauer is not incorrect. sent12: there is something such that that it elutes bier and it is a gorse is false. sent13: if something is a rain and does elute Schopenhauer then it is not a kind of a grant. sent14: the syncarp is tectonics and is a Visigoth. sent15: if something does vary and is a paramagnet it is not far. sent16: if the syncarp elutes Schopenhauer it does grant. sent17: the syncarp is not a kind of a pregnanediol if it is a grant. sent18: if there is something such that the fact that it is a kind of experiential thing that is a grant does not hold then the syncarp does cane isomerization. sent19: the syncarp rains if there exists something such that that it elutes bier and it is a gorse is not right. sent20: the supernatant is not a kind of a rain. sent21: there is something such that if the fact that it does elute Schopenhauer is true the fact that it grants hold.
sent12 & sent19 -> int1: that the syncarp is a kind of a rain is correct.; void -> assump1: Let's assume that the syncarp elutes Schopenhauer.; int1 & assump1 -> int2: the syncarp is a rain and does elute Schopenhauer.; sent13 -> int3: if the syncarp rains and it elutes Schopenhauer it is not a grant.; int2 & int3 -> int4: the syncarp does not grant.; [assump1] & int4 -> int5: if the syncarp elutes Schopenhauer it is not a grant.; int5 -> hypothesis;
$hypothesis$ = there is something such that if it elutes Schopenhauer then it is not a grant. ; $context$ = sent1: the syncarp does loom scourge. sent2: the meperidine is a pregnanediol. sent3: the syncarp is a kind of a mackintosh. sent4: if something is a rain and it does elute Schopenhauer then it grants. sent5: if the syncarp elutes betterment and it does cane cryptogram then it is not anisotropic. sent6: the sodalite elutes stanhope and is a kind of a meadowgrass. sent7: if something does not elute bier then the syncarp is a kind of a rain. sent8: the syncarp is aggressive and it is a gorse. sent9: the syncarp is a gorse. sent10: the syncarp is a grant if it rains and it elutes Schopenhauer. sent11: that the bier is a fear and it elutes Schopenhauer is not incorrect. sent12: there is something such that that it elutes bier and it is a gorse is false. sent13: if something is a rain and does elute Schopenhauer then it is not a kind of a grant. sent14: the syncarp is tectonics and is a Visigoth. sent15: if something does vary and is a paramagnet it is not far. sent16: if the syncarp elutes Schopenhauer it does grant. sent17: the syncarp is not a kind of a pregnanediol if it is a grant. sent18: if there is something such that the fact that it is a kind of experiential thing that is a grant does not hold then the syncarp does cane isomerization. sent19: the syncarp rains if there exists something such that that it elutes bier and it is a gorse is not right. sent20: the supernatant is not a kind of a rain. sent21: there is something such that if the fact that it does elute Schopenhauer is true the fact that it grants hold. ; $proof$ = 
sent12 & sent19 -> int1: that the syncarp is a kind of a rain is correct.; void -> assump1: Let's assume that the syncarp elutes Schopenhauer.; int1 & assump1 -> int2: the syncarp is a rain and does elute Schopenhauer.; sent13 -> int3: if the syncarp rains and it elutes Schopenhauer it is not a grant.; int2 & int3 -> int4: the syncarp does not grant.; [assump1] & int4 -> int5: if the syncarp elutes Schopenhauer it is not a grant.; int5 -> hypothesis; __PROVED__