that there exists something such that if it does cleave then it is not acceptive and it invokes recall is not true.
sent1: that the humectant is a antineutron and is not chimerical does not hold. sent2: the vandal is a kind of a antineutron. sent3: the humectant is not a antineutron if it is chimerical and does cleave. sent4: the winch is not chimerical. sent5: the humectant is not agonistic. sent6: the humectant is a kind of a antineutron but it is not chimerical if something does not piggyback. sent7: The recall does invoke whipstitch. sent8: something is not acceptive if it piggybacks and it cleaves. sent9: if something is not a kind of a piggyback then the snood is imperishable thing that does not invoke whipstitch. sent10: the humectant cleaves and does not invoke recall if there are non-chimerical things. sent11: the whipstitch does invoke recall.
void -> assump2: Let's assume that that the whipstitch is not a piggyback is not false.; assump2 -> int1: there exists something such that it is not a piggyback.; int1 & sent6 -> int2: the humectant is a kind of a antineutron that is not chimerical.; int2 & sent1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the whipstitch is a kind of a piggyback.; void -> assump1: Let's assume that the whipstitch cleaves.; int4 & assump1 -> int5: the whipstitch is a kind of a piggyback and it cleaves.; sent8 -> int6: if the whipstitch piggybacks and it does cleave that it is not acceptive is not false.; int5 & int6 -> int7: the whipstitch is not acceptive.; int7 & sent11 -> int8: the whipstitch is not acceptive but it does invoke recall.; [assump1] & int8 -> int9: if the fact that the whipstitch does cleave hold then it is not acceptive and does invoke recall.; int9 -> hypothesis;
$hypothesis$ = that there exists something such that if it does cleave then it is not acceptive and it invokes recall is not true. ; $context$ = sent1: that the humectant is a antineutron and is not chimerical does not hold. sent2: the vandal is a kind of a antineutron. sent3: the humectant is not a antineutron if it is chimerical and does cleave. sent4: the winch is not chimerical. sent5: the humectant is not agonistic. sent6: the humectant is a kind of a antineutron but it is not chimerical if something does not piggyback. sent7: The recall does invoke whipstitch. sent8: something is not acceptive if it piggybacks and it cleaves. sent9: if something is not a kind of a piggyback then the snood is imperishable thing that does not invoke whipstitch. sent10: the humectant cleaves and does not invoke recall if there are non-chimerical things. sent11: the whipstitch does invoke recall. ; $proof$ = 
void -> assump2: Let's assume that that the whipstitch is not a piggyback is not false.; assump2 -> int1: there exists something such that it is not a piggyback.; int1 & sent6 -> int2: the humectant is a kind of a antineutron that is not chimerical.; int2 & sent1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the whipstitch is a kind of a piggyback.; void -> assump1: Let's assume that the whipstitch cleaves.; int4 & assump1 -> int5: the whipstitch is a kind of a piggyback and it cleaves.; sent8 -> int6: if the whipstitch piggybacks and it does cleave that it is not acceptive is not false.; int5 & int6 -> int7: the whipstitch is not acceptive.; int7 & sent11 -> int8: the whipstitch is not acceptive but it does invoke recall.; [assump1] & int8 -> int9: if the fact that the whipstitch does cleave hold then it is not acceptive and does invoke recall.; int9 -> hypothesis; __DISPROVED__