the fact that there is something such that if the fact that it is non-daisylike and a Ashton does not hold it is not categorematic is wrong.
sent1: if that the rose is not daisylike but a Ashton is not right then it is not categorematic. sent2: there is something such that if it is non-daisylike a Ashton it is not categorematic. sent3: there is something such that if that it is daisylike hold it is not categorematic. sent4: there exists something such that if it is a kind of a Lutheran then it is not premenopausal. sent5: the rose is categorematic if that it is not daisylike and it is a kind of a Ashton does not hold. sent6: the fact that the rose is a stay-at-home is true if that it is not a kind of a oarsmanship and does bone Albion is incorrect. sent7: there is something such that if it is not a kind of a blunderbuss it is not a stay-at-home.
sent1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is non-daisylike and a Ashton does not hold it is not categorematic is wrong. ; $context$ = sent1: if that the rose is not daisylike but a Ashton is not right then it is not categorematic. sent2: there is something such that if it is non-daisylike a Ashton it is not categorematic. sent3: there is something such that if that it is daisylike hold it is not categorematic. sent4: there exists something such that if it is a kind of a Lutheran then it is not premenopausal. sent5: the rose is categorematic if that it is not daisylike and it is a kind of a Ashton does not hold. sent6: the fact that the rose is a stay-at-home is true if that it is not a kind of a oarsmanship and does bone Albion is incorrect. sent7: there is something such that if it is not a kind of a blunderbuss it is not a stay-at-home. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__