that something does not piece Ark and is not stylish does not hold.
sent1: if something does scuff Pimlico then that it does not clone Phanerogamae hold. sent2: the hardtop is not a crinoline. sent3: the hardtop clones Phanerogamae and it does girdle Sunbelt if it is not a crinoline. sent4: the Ark does not piece Ark. sent5: there exists something such that that it does not piece Ark is right. sent6: if the hardtop is not stylish the jawbreaker is not stylish. sent7: if the fact that the hardtop is not a kind of a crinoline is not incorrect then it girdles Sunbelt. sent8: if the hardtop is stylish it does scuff Pimlico. sent9: the hardtop does girdle Sunbelt. sent10: the jawbreaker does not piece Ark and it is not stylish if the hardtop is not stylish. sent11: there is something such that it does not piece Ark and is stylish. sent12: the fact that the Mordva does not clone Phanerogamae is right. sent13: that the jawbreaker is the crinoline if the jawbreaker is stylish hold. sent14: there exists something such that it is not stylish.
void -> assump1: Let's assume that the hardtop is stylish.; sent8 & assump1 -> int1: the hardtop scuffs Pimlico.; sent1 -> int2: if the fact that the hardtop scuffs Pimlico is not false it does not clone Phanerogamae.; int1 & int2 -> int3: the hardtop does not clone Phanerogamae.; sent3 & sent2 -> int4: the hardtop does clone Phanerogamae and it does girdle Sunbelt.; int4 -> int5: that the hardtop does clone Phanerogamae is correct.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hardtop is not stylish.; int7 & sent10 -> int8: the jawbreaker does not piece Ark and it is not stylish.; int8 -> hypothesis;
$hypothesis$ = that something does not piece Ark and is not stylish does not hold. ; $context$ = sent1: if something does scuff Pimlico then that it does not clone Phanerogamae hold. sent2: the hardtop is not a crinoline. sent3: the hardtop clones Phanerogamae and it does girdle Sunbelt if it is not a crinoline. sent4: the Ark does not piece Ark. sent5: there exists something such that that it does not piece Ark is right. sent6: if the hardtop is not stylish the jawbreaker is not stylish. sent7: if the fact that the hardtop is not a kind of a crinoline is not incorrect then it girdles Sunbelt. sent8: if the hardtop is stylish it does scuff Pimlico. sent9: the hardtop does girdle Sunbelt. sent10: the jawbreaker does not piece Ark and it is not stylish if the hardtop is not stylish. sent11: there is something such that it does not piece Ark and is stylish. sent12: the fact that the Mordva does not clone Phanerogamae is right. sent13: that the jawbreaker is the crinoline if the jawbreaker is stylish hold. sent14: there exists something such that it is not stylish. ; $proof$ = 
void -> assump1: Let's assume that the hardtop is stylish.; sent8 & assump1 -> int1: the hardtop scuffs Pimlico.; sent1 -> int2: if the fact that the hardtop scuffs Pimlico is not false it does not clone Phanerogamae.; int1 & int2 -> int3: the hardtop does not clone Phanerogamae.; sent3 & sent2 -> int4: the hardtop does clone Phanerogamae and it does girdle Sunbelt.; int4 -> int5: that the hardtop does clone Phanerogamae is correct.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hardtop is not stylish.; int7 & sent10 -> int8: the jawbreaker does not piece Ark and it is not stylish.; int8 -> hypothesis; __DISPROVED__