the mount is not shut if the saiga is not a Leonidas.
sent1: the fact that the chinaberry is unfavorable and/or it neglects tripletail is not true if there is something such that it is a Leonidas. sent2: the leporid does not groan if the cartoon is not a racetrack. sent3: the leporid is shut if the mount is not a racetrack. sent4: if something that is a Physeteridae is not a Leonidas it does not neglect tripletail. sent5: the fact that the leporid is not biliary is right if the autobahn does not neglect tripletail. sent6: something is non-biliary if the fact that it is not a Physeteridae and it is non-shut is not right. sent7: the cartoon is not perfect. sent8: if there exists something such that it is not biliary the leporid is a Leonidas and is a kind of a groan. sent9: the autobahn is a Leonidas and not biliary. sent10: if something is a racetrack and it is a Physeteridae then it is not shut. sent11: that either the autobahn is a Physeteridae or it is biliary or both is not right if the leporid is not biliary. sent12: if the cartoon does groan then the saiga is a kind of a Leonidas. sent13: the leporid does not neglect tripletail. sent14: if something is a kind of a racetrack that does not neglect tripletail it is not biliary. sent15: that something is not a Physeteridae and is not shut is not correct if that it is not a jennet is true. sent16: that the saiga is a kind of a Leonidas or is biliary or both is not true. sent17: that if the fact that the autobahn is a Physeteridae or it is biliary or both is incorrect the mount is not shut is correct.
void -> assump1: Let's assume that that the leporid is a racetrack that does not neglect tripletail is not right.; void -> assump2: Let's assume that the saiga is not a Leonidas.; sent14 -> int1: if the leporid is a racetrack that does not neglect tripletail then it is not biliary.;
the fact that the chinaberry either is unfavorable or does neglect tripletail or both is false.
sent6 -> int2: the cartoon is not biliary if that it is not a Physeteridae and is not shut is not right.; sent15 -> int3: that the saiga is not a Physeteridae and it is not shut is wrong if it is not a kind of a jennet.;
$hypothesis$ = the mount is not shut if the saiga is not a Leonidas. ; $context$ = sent1: the fact that the chinaberry is unfavorable and/or it neglects tripletail is not true if there is something such that it is a Leonidas. sent2: the leporid does not groan if the cartoon is not a racetrack. sent3: the leporid is shut if the mount is not a racetrack. sent4: if something that is a Physeteridae is not a Leonidas it does not neglect tripletail. sent5: the fact that the leporid is not biliary is right if the autobahn does not neglect tripletail. sent6: something is non-biliary if the fact that it is not a Physeteridae and it is non-shut is not right. sent7: the cartoon is not perfect. sent8: if there exists something such that it is not biliary the leporid is a Leonidas and is a kind of a groan. sent9: the autobahn is a Leonidas and not biliary. sent10: if something is a racetrack and it is a Physeteridae then it is not shut. sent11: that either the autobahn is a Physeteridae or it is biliary or both is not right if the leporid is not biliary. sent12: if the cartoon does groan then the saiga is a kind of a Leonidas. sent13: the leporid does not neglect tripletail. sent14: if something is a kind of a racetrack that does not neglect tripletail it is not biliary. sent15: that something is not a Physeteridae and is not shut is not correct if that it is not a jennet is true. sent16: that the saiga is a kind of a Leonidas or is biliary or both is not true. sent17: that if the fact that the autobahn is a Physeteridae or it is biliary or both is incorrect the mount is not shut is correct. ; $proof$ = 
void -> assump1: Let's assume that that the leporid is a racetrack that does not neglect tripletail is not right.; void -> assump2: Let's assume that the saiga is not a Leonidas.; sent14 -> int1: if the leporid is a racetrack that does not neglect tripletail then it is not biliary.; __UNKNOWN__