the lorchel is not a Tennessee and is not a Francophile.
sent1: the pipage is not a nark if there exists something such that it is not a Cryptobranchidae. sent2: if the crystallization is not a adsorbent then the synovia is not a problem and does not trickle. sent3: there is nothing such that it is a Ghanian but not electrostatic. sent4: the fact that if the manubrium is not a Francophile the lorchel is not a Tennessee and not a Francophile is true. sent5: if the pipage is a Cryptobranchidae then the fact that the Guru does not coffin Connolly and/or it narks does not hold. sent6: the manubrium is not a Francophile if the crystallization is a adsorbent that does not trickle. sent7: the lorchel is not a kind of a Slovak if the fact that something is not a problem and it does not trickle is correct. sent8: the Guru is not a Slovak if the lorchel is electrostatic but it is not a Francophile. sent9: if the pipage is not a nark the fact that the manubrium does coffin Connolly and is a adsorbent is false. sent10: if the fact that something is not electrostatic and/or it does nark is false then it is a adsorbent. sent11: the synovia does not trickle if a Slovak is a problem. sent12: the pipage is a kind of a Cryptobranchidae. sent13: the manubrium is a problem if the Guru is not a Ghanian. sent14: something is a kind of a Slovak if the fact that it is both a Ghanian and not electrostatic is false. sent15: if the synovia does not trickle then the crystallization is adsorbent thing that does not trickle. sent16: if the Guru is not a problem the crystallization is both adsorbent and not a problem. sent17: if something is both not non-hydrodynamics and not orthodox then it is not a Cryptobranchidae. sent18: the lorchel does not coffin Connolly and it is not a Tennessee.
sent3 -> int1: the fact that the Guru is a Ghanian but it is not electrostatic is false.; sent14 -> int2: if that the Guru is a Ghanian but not electrostatic does not hold then it is a Slovak.; int1 & int2 -> int3: the Guru is a Slovak.; sent5 & sent12 -> int4: that either the Guru does not coffin Connolly or it narks or both is not correct.;
that the lorchel is not a Tennessee and it is not a kind of a Francophile does not hold.
sent17 -> int5: the mannitol is not a kind of a Cryptobranchidae if it is both not non-hydrodynamics and unorthodox.;
$hypothesis$ = the lorchel is not a Tennessee and is not a Francophile. ; $context$ = sent1: the pipage is not a nark if there exists something such that it is not a Cryptobranchidae. sent2: if the crystallization is not a adsorbent then the synovia is not a problem and does not trickle. sent3: there is nothing such that it is a Ghanian but not electrostatic. sent4: the fact that if the manubrium is not a Francophile the lorchel is not a Tennessee and not a Francophile is true. sent5: if the pipage is a Cryptobranchidae then the fact that the Guru does not coffin Connolly and/or it narks does not hold. sent6: the manubrium is not a Francophile if the crystallization is a adsorbent that does not trickle. sent7: the lorchel is not a kind of a Slovak if the fact that something is not a problem and it does not trickle is correct. sent8: the Guru is not a Slovak if the lorchel is electrostatic but it is not a Francophile. sent9: if the pipage is not a nark the fact that the manubrium does coffin Connolly and is a adsorbent is false. sent10: if the fact that something is not electrostatic and/or it does nark is false then it is a adsorbent. sent11: the synovia does not trickle if a Slovak is a problem. sent12: the pipage is a kind of a Cryptobranchidae. sent13: the manubrium is a problem if the Guru is not a Ghanian. sent14: something is a kind of a Slovak if the fact that it is both a Ghanian and not electrostatic is false. sent15: if the synovia does not trickle then the crystallization is adsorbent thing that does not trickle. sent16: if the Guru is not a problem the crystallization is both adsorbent and not a problem. sent17: if something is both not non-hydrodynamics and not orthodox then it is not a Cryptobranchidae. sent18: the lorchel does not coffin Connolly and it is not a Tennessee. ; $proof$ = 
sent3 -> int1: the fact that the Guru is a Ghanian but it is not electrostatic is false.; sent14 -> int2: if that the Guru is a Ghanian but not electrostatic does not hold then it is a Slovak.; int1 & int2 -> int3: the Guru is a Slovak.; sent5 & sent12 -> int4: that either the Guru does not coffin Connolly or it narks or both is not correct.; __UNKNOWN__