the deipnosophist either is a clomipramine or is a kind of a aerogram or both.
sent1: if something is a Schopenhauer it is a kind of a Nike. sent2: the scullery is an invite if the depiction is digestible. sent3: if the deipnosophist is not an invite then that the depiction is not a kind of a clomipramine and/or it does cane toe-in is incorrect. sent4: if the depiction is a Nike the deipnosophist is a Nike. sent5: if the deipnosophist is digestible the depiction is not a aerogram. sent6: something is both a aerogram and not an invite if it is not a Nike. sent7: The toe-in does not cane depiction. sent8: the depiction is not a clomipramine if the deipnosophist does not cane toe-in. sent9: if that either the depiction is not a kind of a clomipramine or it does cane toe-in or both does not hold the scullery does not cane toe-in. sent10: either the depiction is a kind of a aerogram or it is not a register or both. sent11: the depiction does not cane toe-in. sent12: if the scullery is not an invite the deipnosophist is a clomipramine. sent13: the fact that something is a clomipramine and/or it is a aerogram does not hold if it does not cane toe-in. sent14: there is something such that it is not forwarding. sent15: the deipnosophist is digestible or it is a clomipramine or both. sent16: the depiction is digestible or it is branchy or both if that it does not cane toe-in is not false. sent17: if the deipnosophist does not cane toe-in the depiction is a clomipramine. sent18: the Bushman is apothegmatic or it is a Salafism or both. sent19: there exists nothing such that it looms Lie and it is not a kind of a Schopenhauer. sent20: the scullery is not a kind of an invite if the depiction is digestible. sent21: the depiction is a Schopenhauer or it does loom Lie or both if there are non-forwarding things. sent22: the deipnosophist canes toe-in if the depiction is not a clomipramine.
sent16 & sent11 -> int1: the depiction is digestible and/or not branchless.;
either the scullery is dramaturgic or it does not cane toe-in or both.
sent6 -> int2: if the deipnosophist is not a kind of a Nike then it is a aerogram and does not invite.; sent19 -> int3: the fact that the sniper looms Lie and is not a Schopenhauer is incorrect.; int3 -> int4: there is something such that that it looms Lie and it is not a Schopenhauer is wrong.;
$hypothesis$ = the deipnosophist either is a clomipramine or is a kind of a aerogram or both. ; $context$ = sent1: if something is a Schopenhauer it is a kind of a Nike. sent2: the scullery is an invite if the depiction is digestible. sent3: if the deipnosophist is not an invite then that the depiction is not a kind of a clomipramine and/or it does cane toe-in is incorrect. sent4: if the depiction is a Nike the deipnosophist is a Nike. sent5: if the deipnosophist is digestible the depiction is not a aerogram. sent6: something is both a aerogram and not an invite if it is not a Nike. sent7: The toe-in does not cane depiction. sent8: the depiction is not a clomipramine if the deipnosophist does not cane toe-in. sent9: if that either the depiction is not a kind of a clomipramine or it does cane toe-in or both does not hold the scullery does not cane toe-in. sent10: either the depiction is a kind of a aerogram or it is not a register or both. sent11: the depiction does not cane toe-in. sent12: if the scullery is not an invite the deipnosophist is a clomipramine. sent13: the fact that something is a clomipramine and/or it is a aerogram does not hold if it does not cane toe-in. sent14: there is something such that it is not forwarding. sent15: the deipnosophist is digestible or it is a clomipramine or both. sent16: the depiction is digestible or it is branchy or both if that it does not cane toe-in is not false. sent17: if the deipnosophist does not cane toe-in the depiction is a clomipramine. sent18: the Bushman is apothegmatic or it is a Salafism or both. sent19: there exists nothing such that it looms Lie and it is not a kind of a Schopenhauer. sent20: the scullery is not a kind of an invite if the depiction is digestible. sent21: the depiction is a Schopenhauer or it does loom Lie or both if there are non-forwarding things. sent22: the deipnosophist canes toe-in if the depiction is not a clomipramine. ; $proof$ = 
sent16 & sent11 -> int1: the depiction is digestible and/or not branchless.; __UNKNOWN__