the swami does not book Goliath.
sent1: if that the documentary is unwholesome but it is not a Leontodon is not true then the swami is not a subsidy. sent2: something that is not a Leontodon and/or is not a bulbul is unwholesome. sent3: the swami is a kind of a overstrain if the fact that it is a madrilene hold. sent4: if that something is not archidiaconal is not false then that the waterwheel is a Leontodon but it does not realize is false. sent5: if there is something such that that it is a Leontodon and does not realize is not correct the hemp is not a Leontodon. sent6: if there is something such that it settles and does not book Goliath the launchpad is a kind of a madrilene. sent7: if the launchpad is not a kind of a subsidy then the documentary is not a overstrain and not a madrilene. sent8: the launchpad is not unwholesome and it does not settle if the hemp is a kind of a Leontodon. sent9: if something is both not unwholesome and not a settle it is not a kind of a subsidy. sent10: there exists something such that it is not archidiaconal. sent11: if the fact that the hemp is not a bulbul and it is not a Leontodon is wrong then it is a Leontodon. sent12: if something is a kind of an interlocutor then it books hypo. sent13: the swami is a overstrain but it is not a subsidy if the launchpad is a madrilene. sent14: the subsoil is a wardress if it is a subsidy. sent15: if the swami is a overstrain and not a subsidy the documentary does not overstrain. sent16: that the documentary is unwholesome but it is not a kind of a Leontodon does not hold. sent17: something does not book Goliath if it is not a madrilene and/or is a kind of a settle.
void -> assump1: Let's assume that the swami is a madrilene.; sent3 & assump1 -> int1: the swami is a overstrain.; sent1 & sent16 -> int2: the swami is not a subsidy.; sent17 -> int3: the swami does not book Goliath if it is not a madrilene and/or does settle.;
that the swami books Goliath is correct.
sent9 -> int4: if the launchpad is not unwholesome and it is not a kind of a settle then it is not a subsidy.;
$hypothesis$ = the swami does not book Goliath. ; $context$ = sent1: if that the documentary is unwholesome but it is not a Leontodon is not true then the swami is not a subsidy. sent2: something that is not a Leontodon and/or is not a bulbul is unwholesome. sent3: the swami is a kind of a overstrain if the fact that it is a madrilene hold. sent4: if that something is not archidiaconal is not false then that the waterwheel is a Leontodon but it does not realize is false. sent5: if there is something such that that it is a Leontodon and does not realize is not correct the hemp is not a Leontodon. sent6: if there is something such that it settles and does not book Goliath the launchpad is a kind of a madrilene. sent7: if the launchpad is not a kind of a subsidy then the documentary is not a overstrain and not a madrilene. sent8: the launchpad is not unwholesome and it does not settle if the hemp is a kind of a Leontodon. sent9: if something is both not unwholesome and not a settle it is not a kind of a subsidy. sent10: there exists something such that it is not archidiaconal. sent11: if the fact that the hemp is not a bulbul and it is not a Leontodon is wrong then it is a Leontodon. sent12: if something is a kind of an interlocutor then it books hypo. sent13: the swami is a overstrain but it is not a subsidy if the launchpad is a madrilene. sent14: the subsoil is a wardress if it is a subsidy. sent15: if the swami is a overstrain and not a subsidy the documentary does not overstrain. sent16: that the documentary is unwholesome but it is not a kind of a Leontodon does not hold. sent17: something does not book Goliath if it is not a madrilene and/or is a kind of a settle. ; $proof$ = 
void -> assump1: Let's assume that the swami is a madrilene.; sent3 & assump1 -> int1: the swami is a overstrain.; sent1 & sent16 -> int2: the swami is not a subsidy.; sent17 -> int3: the swami does not book Goliath if it is not a madrilene and/or does settle.; __UNKNOWN__