the Tibetan is not admissible.
sent1: something is not a kind of a Modicon if that it is not admissible and it is a kind of a Modicon is not correct. sent2: the bigeye is not a kind of a Turnicidae if something that is a do is a muzzle. sent3: the salon does lamb unsatisfactoriness and turns glance if the bigeye is not a kind of a Turnicidae. sent4: something is a rondeau and is admissible if it does not lamb unsatisfactoriness. sent5: if there exists something such that the fact that it does betray and it is non-Hanoverian is correct then the woad adducts dinner. sent6: if there is something such that it does adduct dinner then the dinner is a kind of a do and does muzzle. sent7: the Tibetan does turn glance. sent8: something does lamb unsatisfactoriness and does turn glance. sent9: there exists something such that that it lambs unsatisfactoriness and turns glance is not right. sent10: if that something is not a kind of a muzzle is not wrong the fact that it is a Turnicidae and does turn glance does not hold. sent11: the Adam betrays and is not a Hanoverian. sent12: if the fact that the tiller is a Turnicidae that turns glance is not right then the Tibetan does not lamb unsatisfactoriness. sent13: the salon does betray. sent14: if there exists something such that the fact that it lambs unsatisfactoriness and turns glance does not hold that the Tibetan is not a kind of a rondeau is correct. sent15: something that betrays does not do and/or does adduct dinner. sent16: that the Tibetan is not admissible but it is a Modicon is not correct if there is something such that it is not a rondeau. sent17: the tiller is not a rondeau if the salon lambs unsatisfactoriness.
void -> assump1: Let's assume that the Tibetan is admissible.; sent9 & sent14 -> int1: the Tibetan is not a kind of a rondeau.;
the Tibetan is admissible.
sent4 -> int2: if the Tibetan does not lamb unsatisfactoriness then it is a rondeau and it is admissible.; sent10 -> int3: the fact that the tiller is a kind of a Turnicidae and it does turn glance is not right if it does not muzzle.; sent15 -> int4: if the salon betrays that it does not do and/or does adduct dinner is right.; int4 & sent13 -> int5: the salon either is not a do or does adduct dinner or both.; int5 -> int6: something does not do and/or it adducts dinner.;
$hypothesis$ = the Tibetan is not admissible. ; $context$ = sent1: something is not a kind of a Modicon if that it is not admissible and it is a kind of a Modicon is not correct. sent2: the bigeye is not a kind of a Turnicidae if something that is a do is a muzzle. sent3: the salon does lamb unsatisfactoriness and turns glance if the bigeye is not a kind of a Turnicidae. sent4: something is a rondeau and is admissible if it does not lamb unsatisfactoriness. sent5: if there exists something such that the fact that it does betray and it is non-Hanoverian is correct then the woad adducts dinner. sent6: if there is something such that it does adduct dinner then the dinner is a kind of a do and does muzzle. sent7: the Tibetan does turn glance. sent8: something does lamb unsatisfactoriness and does turn glance. sent9: there exists something such that that it lambs unsatisfactoriness and turns glance is not right. sent10: if that something is not a kind of a muzzle is not wrong the fact that it is a Turnicidae and does turn glance does not hold. sent11: the Adam betrays and is not a Hanoverian. sent12: if the fact that the tiller is a Turnicidae that turns glance is not right then the Tibetan does not lamb unsatisfactoriness. sent13: the salon does betray. sent14: if there exists something such that the fact that it lambs unsatisfactoriness and turns glance does not hold that the Tibetan is not a kind of a rondeau is correct. sent15: something that betrays does not do and/or does adduct dinner. sent16: that the Tibetan is not admissible but it is a Modicon is not correct if there is something such that it is not a rondeau. sent17: the tiller is not a rondeau if the salon lambs unsatisfactoriness. ; $proof$ = 
void -> assump1: Let's assume that the Tibetan is admissible.; sent9 & sent14 -> int1: the Tibetan is not a kind of a rondeau.; __UNKNOWN__