there exists something such that it is a Myrtus and it is not non-new.
sent1: the spreader is a kind of spineless thing that is a fox-trot. sent2: the spreader is a kind of a benzoin that does realize Crucifixion. sent3: if there exists something such that it does not realize Crucifixion the spreader is a Abkhazian. sent4: the spreader is a Myrtus if something is not an oiler. sent5: the smut does realize Crucifixion. sent6: there are non-autoplastic things. sent7: the retriever is new and drinks idiocy. sent8: something is a Myrtus and it does realize Crucifixion. sent9: there is something such that it does not realize Crucifixion. sent10: the spreader is a stander if something is not analogous. sent11: something does realize Crucifixion and is a Myrtus. sent12: the internode does realize Crucifixion. sent13: the fact that there is something such that it is not an oiler is not incorrect. sent14: the fact that there exists something such that it is an oiler is right. sent15: the spreader is inarticulate. sent16: the blackjack is new. sent17: the lorazepam is a kind of a vocal if something is not an oiler. sent18: the spreader is derivational and it is transeunt. sent19: the spreader is a Budapest. sent20: there exists something such that that it is new is not wrong. sent21: the spreader drinks messaging.
sent13 & sent4 -> int1: the spreader is a kind of a Myrtus.;
$hypothesis$ = there exists something such that it is a Myrtus and it is not non-new. ; $context$ = sent1: the spreader is a kind of spineless thing that is a fox-trot. sent2: the spreader is a kind of a benzoin that does realize Crucifixion. sent3: if there exists something such that it does not realize Crucifixion the spreader is a Abkhazian. sent4: the spreader is a Myrtus if something is not an oiler. sent5: the smut does realize Crucifixion. sent6: there are non-autoplastic things. sent7: the retriever is new and drinks idiocy. sent8: something is a Myrtus and it does realize Crucifixion. sent9: there is something such that it does not realize Crucifixion. sent10: the spreader is a stander if something is not analogous. sent11: something does realize Crucifixion and is a Myrtus. sent12: the internode does realize Crucifixion. sent13: the fact that there is something such that it is not an oiler is not incorrect. sent14: the fact that there exists something such that it is an oiler is right. sent15: the spreader is inarticulate. sent16: the blackjack is new. sent17: the lorazepam is a kind of a vocal if something is not an oiler. sent18: the spreader is derivational and it is transeunt. sent19: the spreader is a Budapest. sent20: there exists something such that that it is new is not wrong. sent21: the spreader drinks messaging. ; $proof$ = 
sent13 & sent4 -> int1: the spreader is a kind of a Myrtus.; __UNKNOWN__