the descendant is a kind of a ormolu.
sent1: the loudmouth is extensive if it is a kind of a Hinayanism. sent2: the loudmouth is euphoric if it is extensive. sent3: the descendant is a ormolu if it is a daygirl. sent4: the tossup does corner robe and it is a Tibet. sent5: that if the tossup is not uncooperative the loudmouth is a Hinayanism is not false. sent6: if the fact that the loudmouth is euphoric is right the descendant is a daygirl.
sent4 -> int1: the tossup does corner robe.;
$hypothesis$ = the descendant is a kind of a ormolu. ; $context$ = sent1: the loudmouth is extensive if it is a kind of a Hinayanism. sent2: the loudmouth is euphoric if it is extensive. sent3: the descendant is a ormolu if it is a daygirl. sent4: the tossup does corner robe and it is a Tibet. sent5: that if the tossup is not uncooperative the loudmouth is a Hinayanism is not false. sent6: if the fact that the loudmouth is euphoric is right the descendant is a daygirl. ; $proof$ = 
sent4 -> int1: the tossup does corner robe.; __UNKNOWN__