the lye is not a Eliot.
sent1: either the lye piddles Equisetum or it piddles Siluridae or both if the fact that the panhandler does not debit is right. sent2: something is both not cationic and not non-Peruvian. sent3: something is angiomatous if it piddles Equisetum. sent4: something makes. sent5: if something is not a fisc the fact that it is unattractive and does not ruminate is not right. sent6: the outdoorswoman does not debit or does piddle Equisetum or both if the panhandler does piddle Equisetum. sent7: something is a Eliot if it makes. sent8: the fact that the panhandler does not tour hold if the fact that the outdoorswoman is unattractive but it does not ruminate is not right. sent9: if the panhandler is not a kind of a debit and/or it piddles Equisetum then the outdoorswoman does not piddle Siluridae. sent10: if something does not tour it does not debit. sent11: if something that is not cationic is Peruvian that the Arkansan is modifiable is not incorrect. sent12: if the tauon is a fisc then the outdoorswoman is not a fisc. sent13: something makes if it is angiomatous. sent14: if the Arkansan is modifiable the tauon is a fisc. sent15: if there is something such that the fact that it is a Eliot is not incorrect that the panhandler does not piddle Siluridae hold. sent16: something piddles Equisetum if it is a kind of angiomatous thing that does not piddle Siluridae. sent17: the lye is not a Eliot if either the outdoorswoman is not a debit or it piddles Equisetum or both.
sent16 -> int1: the panhandler does piddle Equisetum if the fact that it is angiomatous and it does not piddle Siluridae hold.;
the lye is a Eliot.
sent7 -> int2: the lye is a kind of a Eliot if it does make.; sent13 -> int3: the lye makes if it is angiomatous.; sent10 -> int4: that the panhandler does not debit is not incorrect if it is not a kind of a tour.; sent5 -> int5: if the outdoorswoman is not a fisc then that it is unattractive and it does not ruminate is wrong.; sent2 & sent11 -> int6: the Arkansan is modifiable.; sent14 & int6 -> int7: the tauon is a fisc.; sent12 & int7 -> int8: the fact that the outdoorswoman is not a kind of a fisc hold.; int5 & int8 -> int9: that the outdoorswoman is not attractive but it does not ruminate is false.; sent8 & int9 -> int10: the panhandler is not a tour.; int4 & int10 -> int11: the panhandler does not debit.; sent1 & int11 -> int12: the lye piddles Equisetum and/or it does piddle Siluridae.; sent3 -> int13: if the lye piddles Equisetum it is angiomatous.;
$hypothesis$ = the lye is not a Eliot. ; $context$ = sent1: either the lye piddles Equisetum or it piddles Siluridae or both if the fact that the panhandler does not debit is right. sent2: something is both not cationic and not non-Peruvian. sent3: something is angiomatous if it piddles Equisetum. sent4: something makes. sent5: if something is not a fisc the fact that it is unattractive and does not ruminate is not right. sent6: the outdoorswoman does not debit or does piddle Equisetum or both if the panhandler does piddle Equisetum. sent7: something is a Eliot if it makes. sent8: the fact that the panhandler does not tour hold if the fact that the outdoorswoman is unattractive but it does not ruminate is not right. sent9: if the panhandler is not a kind of a debit and/or it piddles Equisetum then the outdoorswoman does not piddle Siluridae. sent10: if something does not tour it does not debit. sent11: if something that is not cationic is Peruvian that the Arkansan is modifiable is not incorrect. sent12: if the tauon is a fisc then the outdoorswoman is not a fisc. sent13: something makes if it is angiomatous. sent14: if the Arkansan is modifiable the tauon is a fisc. sent15: if there is something such that the fact that it is a Eliot is not incorrect that the panhandler does not piddle Siluridae hold. sent16: something piddles Equisetum if it is a kind of angiomatous thing that does not piddle Siluridae. sent17: the lye is not a Eliot if either the outdoorswoman is not a debit or it piddles Equisetum or both. ; $proof$ = 
sent16 -> int1: the panhandler does piddle Equisetum if the fact that it is angiomatous and it does not piddle Siluridae hold.; __UNKNOWN__