that there exists something such that that it is not a kind of a blur and is not a ladder is not incorrect does not hold.
sent1: if the queen is not a ladder the mock-up is not a blur and not a ladder. sent2: the queen does not crochet immobilization and it is not a ladder if the autoplasty does not ladder. sent3: the fact that the autoplasty crochets queen and does crochet immobilization is incorrect. sent4: there is something such that it is both retrorse and a vacation. sent5: the queen is not a kind of a ladder if there exists something such that that it does crochet queen and crochets immobilization is wrong. sent6: the mock-up does not ladder if the queen is not a ladder.
sent3 -> int1: there is something such that the fact that it does crochet queen and it crochets immobilization does not hold.; int1 & sent5 -> int2: the queen does not ladder.; sent1 & int2 -> int3: the mock-up does not blur and it is not a kind of a ladder.; int3 -> hypothesis;
$hypothesis$ = that there exists something such that that it is not a kind of a blur and is not a ladder is not incorrect does not hold. ; $context$ = sent1: if the queen is not a ladder the mock-up is not a blur and not a ladder. sent2: the queen does not crochet immobilization and it is not a ladder if the autoplasty does not ladder. sent3: the fact that the autoplasty crochets queen and does crochet immobilization is incorrect. sent4: there is something such that it is both retrorse and a vacation. sent5: the queen is not a kind of a ladder if there exists something such that that it does crochet queen and crochets immobilization is wrong. sent6: the mock-up does not ladder if the queen is not a ladder. ; $proof$ = 
sent3 -> int1: there is something such that the fact that it does crochet queen and it crochets immobilization does not hold.; int1 & sent5 -> int2: the queen does not ladder.; sent1 & int2 -> int3: the mock-up does not blur and it is not a kind of a ladder.; int3 -> hypothesis; __DISPROVED__