there exists something such that it is nonhuman and caters.
sent1: if something is a eldership it is systematic. sent2: the learner is an oka if the juju unclothes embarrassment. sent3: if something is an oka and it does guarantee the swami is nonhuman. sent4: if the learner is not a kind of an oka and it is not a eldership then the buttonhole is not a eldership. sent5: the learner caters. sent6: the swami does cater. sent7: there exists something such that it does unclothe embarrassment and it is nonhuman. sent8: either the swami is premenopausal or it does unclothe embarrassment or both. sent9: there is something such that it is a kibitzer. sent10: the learner is a kind of an oka if the juju is an oka. sent11: the juju caters. sent12: there is something such that it stows juju. sent13: if the learner does not guarantee it is a eldership. sent14: the settlor does cater. sent15: the fact that the juju is an oka and/or does unclothe embarrassment is not incorrect. sent16: the pogge is tectonic and/or it is a guarantee. sent17: there exists something such that it does stow pepper. sent18: the juju is not nonhuman.
void -> assump1: Let's assume that the learner is not a guarantee.; sent13 & assump1 -> int1: the learner is a kind of a eldership.; sent1 -> int2: the learner is systematic if it is a kind of a eldership.; int1 & int2 -> int3: the learner is systematic.; sent15 & sent10 & sent2 -> int4: the learner is an oka.;
the buttonhole is theological and/or does unclothe embarrassment.
$hypothesis$ = there exists something such that it is nonhuman and caters. ; $context$ = sent1: if something is a eldership it is systematic. sent2: the learner is an oka if the juju unclothes embarrassment. sent3: if something is an oka and it does guarantee the swami is nonhuman. sent4: if the learner is not a kind of an oka and it is not a eldership then the buttonhole is not a eldership. sent5: the learner caters. sent6: the swami does cater. sent7: there exists something such that it does unclothe embarrassment and it is nonhuman. sent8: either the swami is premenopausal or it does unclothe embarrassment or both. sent9: there is something such that it is a kibitzer. sent10: the learner is a kind of an oka if the juju is an oka. sent11: the juju caters. sent12: there is something such that it stows juju. sent13: if the learner does not guarantee it is a eldership. sent14: the settlor does cater. sent15: the fact that the juju is an oka and/or does unclothe embarrassment is not incorrect. sent16: the pogge is tectonic and/or it is a guarantee. sent17: there exists something such that it does stow pepper. sent18: the juju is not nonhuman. ; $proof$ = 
void -> assump1: Let's assume that the learner is not a guarantee.; sent13 & assump1 -> int1: the learner is a kind of a eldership.; sent1 -> int2: the learner is systematic if it is a kind of a eldership.; int1 & int2 -> int3: the learner is systematic.; sent15 & sent10 & sent2 -> int4: the learner is an oka.; __UNKNOWN__