something whirls saute and it is a kind of a seafront.
sent1: the discus is a kind of a Australian that is a strip. sent2: something that is both not a plant and a Clyde whirls saute. sent3: the aerolite is not a kind of a plant if there is something such that it is not a kind of a target. sent4: the aerolite lopes and targets. sent5: there exists something such that it is a target. sent6: the aerolite is not a kind of a plant. sent7: the aerolite investigates undergraduate. sent8: there is something such that it investigates misconstrual. sent9: there is something such that it does whirl saute. sent10: the aerolite is a kind of a seafront and it investigates undergraduate. sent11: if the aerolite is not a plant the jimdandy is a kind of a seafront and it is a target. sent12: if something that does plant is a Clyde then it whirls saute. sent13: if the aerolite is both a plant and a Clyde it whirls saute. sent14: there exists something such that it is a kind of a seafront. sent15: if there is something such that that it is not a target is not false then the aerolite is both not a plant and a Clyde.
sent2 -> int1: if the aerolite is not a plant but it is a Clyde it does whirl saute.; sent10 -> int2: the aerolite is a seafront.;
the jimdandy is a seafront.
$hypothesis$ = something whirls saute and it is a kind of a seafront. ; $context$ = sent1: the discus is a kind of a Australian that is a strip. sent2: something that is both not a plant and a Clyde whirls saute. sent3: the aerolite is not a kind of a plant if there is something such that it is not a kind of a target. sent4: the aerolite lopes and targets. sent5: there exists something such that it is a target. sent6: the aerolite is not a kind of a plant. sent7: the aerolite investigates undergraduate. sent8: there is something such that it investigates misconstrual. sent9: there is something such that it does whirl saute. sent10: the aerolite is a kind of a seafront and it investigates undergraduate. sent11: if the aerolite is not a plant the jimdandy is a kind of a seafront and it is a target. sent12: if something that does plant is a Clyde then it whirls saute. sent13: if the aerolite is both a plant and a Clyde it whirls saute. sent14: there exists something such that it is a kind of a seafront. sent15: if there is something such that that it is not a target is not false then the aerolite is both not a plant and a Clyde. ; $proof$ = 
sent2 -> int1: if the aerolite is not a plant but it is a Clyde it does whirl saute.; sent10 -> int2: the aerolite is a seafront.; __UNKNOWN__