there exists something such that it is arbitrary or it is an athlete or both.
sent1: the burro is arbitrary or it is a kind of a principle or both. sent2: if the metal is a kind of an athlete then it is muciferous. sent3: the lamb's-quarter is a principle. sent4: the district does hop isocyanate. sent5: the burro is muciferous. sent6: the burro is muciferous if the metal is a kind of an athlete. sent7: the fact that the halo is a kind of pathological thing that is a principle is not true. sent8: if that the metal is muciferous but it is not a principle does not hold then it grasses. sent9: the burro grasses if the fact that it is a principle but not arbitrary is incorrect. sent10: the burro either is a principle or is arbitrary or both. sent11: that the metal is muciferous but it is not a principle is wrong. sent12: the lime is a Saururaceae. sent13: if the metal is not muciferous then it grasses. sent14: the burro is a principle. sent15: there exists something such that it is arbitrary or it is a principle or both. sent16: the metal is a principle if it is arbitrary.
sent8 & sent11 -> int1: the metal grasses.;
$hypothesis$ = there exists something such that it is arbitrary or it is an athlete or both. ; $context$ = sent1: the burro is arbitrary or it is a kind of a principle or both. sent2: if the metal is a kind of an athlete then it is muciferous. sent3: the lamb's-quarter is a principle. sent4: the district does hop isocyanate. sent5: the burro is muciferous. sent6: the burro is muciferous if the metal is a kind of an athlete. sent7: the fact that the halo is a kind of pathological thing that is a principle is not true. sent8: if that the metal is muciferous but it is not a principle does not hold then it grasses. sent9: the burro grasses if the fact that it is a principle but not arbitrary is incorrect. sent10: the burro either is a principle or is arbitrary or both. sent11: that the metal is muciferous but it is not a principle is wrong. sent12: the lime is a Saururaceae. sent13: if the metal is not muciferous then it grasses. sent14: the burro is a principle. sent15: there exists something such that it is arbitrary or it is a principle or both. sent16: the metal is a principle if it is arbitrary. ; $proof$ = 
sent8 & sent11 -> int1: the metal grasses.; __UNKNOWN__