the stewardess is non-rhinal thing that is not anterograde.
sent1: the stewardess is not anterograde. sent2: the fact that the fact that the stewardess is both not celiac and ineradicable is true does not hold. sent3: the fact that the branchlet does not hear median but it does hear spavin does not hold. sent4: the stewardess is not pure if the fact that it is not celiac and it is ineradicable is false. sent5: the fact that that the stewardess is not non-celiac but ineradicable is not true hold. sent6: if the stewardess is not filial it is not anterograde and not a cobaltite. sent7: something is not a lob if it does not trip invigilation.
sent4 & sent2 -> int1: the stewardess is not pure.;
$hypothesis$ = the stewardess is non-rhinal thing that is not anterograde. ; $context$ = sent1: the stewardess is not anterograde. sent2: the fact that the fact that the stewardess is both not celiac and ineradicable is true does not hold. sent3: the fact that the branchlet does not hear median but it does hear spavin does not hold. sent4: the stewardess is not pure if the fact that it is not celiac and it is ineradicable is false. sent5: the fact that that the stewardess is not non-celiac but ineradicable is not true hold. sent6: if the stewardess is not filial it is not anterograde and not a cobaltite. sent7: something is not a lob if it does not trip invigilation. ; $proof$ = 
sent4 & sent2 -> int1: the stewardess is not pure.; __UNKNOWN__