there exists something such that if it is not a quarters and it is not follicular it is not non-menopausal.
sent1: there exists something such that if it is cryonic and it is not a taxman it fumbles Denmark. sent2: if the tabloid is a kind of a quarters but it is not follicular it is menopausal. sent3: there is something such that if it does not pinion and it is basiscopic then it does fumble ramjet. sent4: if something that does fumble Matthew is not a kind of a wilding then it is unchristian. sent5: there exists something such that if it is a kind of a wilding and it is not a fascicle the fact that it does fumble ascension is not false. sent6: if the tabloid is not a insurability but auricular then it is follicular. sent7: if something does not quarter and it is not follicular it is menopausal. sent8: something is competitive if it does not fumble tabloid and is not a xylene. sent9: if the tabloid does not receive and it is not follicular it retards.
sent7 -> int1: that the tabloid is menopausal is not wrong if it is both not a quarters and not follicular.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a quarters and it is not follicular it is not non-menopausal. ; $context$ = sent1: there exists something such that if it is cryonic and it is not a taxman it fumbles Denmark. sent2: if the tabloid is a kind of a quarters but it is not follicular it is menopausal. sent3: there is something such that if it does not pinion and it is basiscopic then it does fumble ramjet. sent4: if something that does fumble Matthew is not a kind of a wilding then it is unchristian. sent5: there exists something such that if it is a kind of a wilding and it is not a fascicle the fact that it does fumble ascension is not false. sent6: if the tabloid is not a insurability but auricular then it is follicular. sent7: if something does not quarter and it is not follicular it is menopausal. sent8: something is competitive if it does not fumble tabloid and is not a xylene. sent9: if the tabloid does not receive and it is not follicular it retards. ; $proof$ = 
sent7 -> int1: that the tabloid is menopausal is not wrong if it is both not a quarters and not follicular.; int1 -> hypothesis; __PROVED__