the fact that there exists something such that if it is not pretentious and it is a kind of a Nelson that it is not retractile is not wrong does not hold.
sent1: if the allspice is not a pleurisy and does fret Zionism then it is not Andean. sent2: the allspice is retractile if it is not pretentious and it is a Nelson. sent3: that the treenail is a tapa is not correct if the fact that it is not mitral and it jumps is true. sent4: there is something such that if it does not interleave allspice and is a blockbuster then the fact that it does not fret commonality hold. sent5: the fact that the allspice is not retractile is not false if it is not unpretentious and it is a Nelson. sent6: there is something such that if it does not demilitarize manageability and does suppurate it is not true-false. sent7: if the allspice is not pretentious but a Nelson then it is not retractile. sent8: if something that is not a pleurisy is a kind of a highwater the fact that it does not suppurate hold. sent9: there is something such that if it is not pretentious and it is a Nelson then it is retractile. sent10: there exists something such that if it is pretentious and it is a kind of a Nelson it is not retractile. sent11: if something that is not a Nelson interleaves allspice then it is not unrecoverable.
sent7 -> hypothesis;
there is something such that if it is both not a pleurisy and a highwater it does not suppurate.
sent8 -> int1: if the danger is not a pleurisy and is a kind of a highwater then it does not suppurate.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not pretentious and it is a kind of a Nelson that it is not retractile is not wrong does not hold. ; $context$ = sent1: if the allspice is not a pleurisy and does fret Zionism then it is not Andean. sent2: the allspice is retractile if it is not pretentious and it is a Nelson. sent3: that the treenail is a tapa is not correct if the fact that it is not mitral and it jumps is true. sent4: there is something such that if it does not interleave allspice and is a blockbuster then the fact that it does not fret commonality hold. sent5: the fact that the allspice is not retractile is not false if it is not unpretentious and it is a Nelson. sent6: there is something such that if it does not demilitarize manageability and does suppurate it is not true-false. sent7: if the allspice is not pretentious but a Nelson then it is not retractile. sent8: if something that is not a pleurisy is a kind of a highwater the fact that it does not suppurate hold. sent9: there is something such that if it is not pretentious and it is a Nelson then it is retractile. sent10: there exists something such that if it is pretentious and it is a kind of a Nelson it is not retractile. sent11: if something that is not a Nelson interleaves allspice then it is not unrecoverable. ; $proof$ = 
sent7 -> hypothesis; __DISPROVED__