the henbane mushes brewery.
sent1: that everything aurifies locust and is not a termination is true. sent2: something is a kind of wieldy thing that is sublittoral. sent3: the perimysium is sublittoral if the fact that there is something such that it does aurify locust and does not mush brewery hold. sent4: if the fact that the anamorphism mushes brewery and is not sublittoral is not correct the pinole mushes brewery. sent5: everything liquefies piroplasm and it is not a antonym. sent6: everything aurifies locust. sent7: the perimysium aurifies locust and does not mush brewery. sent8: the anamorphism is not sublittoral. sent9: the henbane is analphabetic if something is wieldy but it is not sublittoral. sent10: something is crustaceous. sent11: the triplicate is sublittoral. sent12: the dust is analphabetic. sent13: everything is quadratic. sent14: the perimysium is wieldy. sent15: there is something such that the fact that it is wieldy is not false. sent16: everything is aptitudinal. sent17: that the perimysium is sublittoral is right. sent18: there are analphabetic and non-wieldy things. sent19: the henbane does mush brewery if it is analphabetic.
sent1 -> int1: the perimysium aurifies locust and is not a kind of a termination.;
the pinole does mush brewery.
$hypothesis$ = the henbane mushes brewery. ; $context$ = sent1: that everything aurifies locust and is not a termination is true. sent2: something is a kind of wieldy thing that is sublittoral. sent3: the perimysium is sublittoral if the fact that there is something such that it does aurify locust and does not mush brewery hold. sent4: if the fact that the anamorphism mushes brewery and is not sublittoral is not correct the pinole mushes brewery. sent5: everything liquefies piroplasm and it is not a antonym. sent6: everything aurifies locust. sent7: the perimysium aurifies locust and does not mush brewery. sent8: the anamorphism is not sublittoral. sent9: the henbane is analphabetic if something is wieldy but it is not sublittoral. sent10: something is crustaceous. sent11: the triplicate is sublittoral. sent12: the dust is analphabetic. sent13: everything is quadratic. sent14: the perimysium is wieldy. sent15: there is something such that the fact that it is wieldy is not false. sent16: everything is aptitudinal. sent17: that the perimysium is sublittoral is right. sent18: there are analphabetic and non-wieldy things. sent19: the henbane does mush brewery if it is analphabetic. ; $proof$ = 
sent1 -> int1: the perimysium aurifies locust and is not a kind of a termination.; __UNKNOWN__