the fact that the windward is a serjeant-at-law hold.
sent1: the washout hatches perineotomy. sent2: if the annoyance is not basiscopic then the fact that it hatches perineotomy is false. sent3: the washout is exportable if the fact that the annoyance is a bounty hold. sent4: there is something such that that it is not sadomasochistic is true. sent5: that the windward hatches Sana and it is a trample is not right. sent6: something is a serjeant-at-law if that it does hatch Sana and it does not trample is incorrect. sent7: if the fact that something is basiscopic and it is a Paradoxurus is incorrect then it does not hatch perineotomy. sent8: a trample is a kind of a serjeant-at-law. sent9: if something is both not a bounty and exportable then it is not a kind of a serjeant-at-law. sent10: the washout is a kind of a Paradoxurus if it hatches perineotomy. sent11: something does not hatch perineotomy if the fact that it is not basiscopic is right. sent12: there is something such that the fact that it does hatch Helenium is true. sent13: the washout is basiscopic. sent14: there exists something such that it does not hatch Helenium. sent15: if the annoyance does not hatch perineotomy then the fact that the windward hatches Sana and is a trample is not right. sent16: that the annoyance is not a trample but it does hatch perineotomy is incorrect if the washout does not hatch Sana. sent17: that something is basiscopic and it is a kind of a Paradoxurus does not hold if it is not a bounty. sent18: the windward is basiscopic and is not a Paradoxurus if it hatches perineotomy. sent19: if the fact that the windward tramples is not false then it is a serjeant-at-law. sent20: if the fact that the annoyance does not hatch perineotomy is true then that the windward does hatch Sana but it is not a trample is not right.
void -> assump1: Let's assume that the annoyance is a bounty.; sent3 & assump1 -> int1: the washout is exportable.; sent17 -> int2: if the annoyance is not a kind of a bounty then that that it is basiscopic thing that is a kind of a Paradoxurus is not wrong is not correct.; sent7 -> int3: the fact that the annoyance does not hatch perineotomy is correct if the fact that it is basiscopic and it is a Paradoxurus is false.; sent6 -> int4: if that the windward hatches Sana and is not a trample is wrong it is a serjeant-at-law.;
that the windward is not a kind of a serjeant-at-law is not wrong.
sent9 -> int5: if the windward is not a bounty but it is exportable then it is not a serjeant-at-law.;
$hypothesis$ = the fact that the windward is a serjeant-at-law hold. ; $context$ = sent1: the washout hatches perineotomy. sent2: if the annoyance is not basiscopic then the fact that it hatches perineotomy is false. sent3: the washout is exportable if the fact that the annoyance is a bounty hold. sent4: there is something such that that it is not sadomasochistic is true. sent5: that the windward hatches Sana and it is a trample is not right. sent6: something is a serjeant-at-law if that it does hatch Sana and it does not trample is incorrect. sent7: if the fact that something is basiscopic and it is a Paradoxurus is incorrect then it does not hatch perineotomy. sent8: a trample is a kind of a serjeant-at-law. sent9: if something is both not a bounty and exportable then it is not a kind of a serjeant-at-law. sent10: the washout is a kind of a Paradoxurus if it hatches perineotomy. sent11: something does not hatch perineotomy if the fact that it is not basiscopic is right. sent12: there is something such that the fact that it does hatch Helenium is true. sent13: the washout is basiscopic. sent14: there exists something such that it does not hatch Helenium. sent15: if the annoyance does not hatch perineotomy then the fact that the windward hatches Sana and is a trample is not right. sent16: that the annoyance is not a trample but it does hatch perineotomy is incorrect if the washout does not hatch Sana. sent17: that something is basiscopic and it is a kind of a Paradoxurus does not hold if it is not a bounty. sent18: the windward is basiscopic and is not a Paradoxurus if it hatches perineotomy. sent19: if the fact that the windward tramples is not false then it is a serjeant-at-law. sent20: if the fact that the annoyance does not hatch perineotomy is true then that the windward does hatch Sana but it is not a trample is not right. ; $proof$ = 
void -> assump1: Let's assume that the annoyance is a bounty.; sent3 & assump1 -> int1: the washout is exportable.; sent17 -> int2: if the annoyance is not a kind of a bounty then that that it is basiscopic thing that is a kind of a Paradoxurus is not wrong is not correct.; sent7 -> int3: the fact that the annoyance does not hatch perineotomy is correct if the fact that it is basiscopic and it is a Paradoxurus is false.; sent6 -> int4: if that the windward hatches Sana and is not a trample is wrong it is a serjeant-at-law.; __UNKNOWN__