there exists something such that if it is not a lot it is a kind of a Viscaceae.
sent1: if something does lot then that it is a kind of a Viscaceae is not wrong. sent2: there is something such that if it is not occlusive then it is a kind of an opened. sent3: that something is a kind of a xeranthemum is right if it is not a jewfish. sent4: if the wheatflake is not a dialectic it is a lot. sent5: if the wheatflake is a lot it is a kind of a Viscaceae. sent6: the wheatflake prioritizes beluga if it is not a Viscaceae. sent7: something that does not lot is a rave-up. sent8: there exists something such that if it is a lot then it is a Viscaceae. sent9: something that does not lot is a Viscaceae.
sent9 -> int1: the wheatflake is a kind of a Viscaceae if it is not a lot.; int1 -> hypothesis;
if the fact that the beluga is not a lot is right then it is a rave-up.
sent7 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a lot it is a kind of a Viscaceae. ; $context$ = sent1: if something does lot then that it is a kind of a Viscaceae is not wrong. sent2: there is something such that if it is not occlusive then it is a kind of an opened. sent3: that something is a kind of a xeranthemum is right if it is not a jewfish. sent4: if the wheatflake is not a dialectic it is a lot. sent5: if the wheatflake is a lot it is a kind of a Viscaceae. sent6: the wheatflake prioritizes beluga if it is not a Viscaceae. sent7: something that does not lot is a rave-up. sent8: there exists something such that if it is a lot then it is a Viscaceae. sent9: something that does not lot is a Viscaceae. ; $proof$ = 
sent9 -> int1: the wheatflake is a kind of a Viscaceae if it is not a lot.; int1 -> hypothesis; __PROVED__