the fact that something is not a hydromorphone and it does not become is not correct.
sent1: there is something such that that it is not a catalyst and it is hairy is not right. sent2: the couverture is not insectan. sent3: the rail-splitter is not a hydromorphone and it does not become if the seconder is not a arabesque. sent4: something sunders but it is not a catalyst if it is insectan. sent5: if the Viyella is a hydromorphone then the rail-splitter sunders. sent6: the Viyella is not hairy if there exists something such that that it is not a kind of a catalyst and is hairy is not correct. sent7: if there is something such that it does not sunder and is not hairy the seconder is not a kind of a arabesque. sent8: the couverture is insectan if the Viyella does sunder.
void -> assump1: Let's assume that that the Viyella sunders hold.; sent8 & assump1 -> int1: the couverture is insectan.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Viyella does not sunder.; sent1 & sent6 -> int4: the Viyella is not hairy.; int3 & int4 -> int5: the Viyella does not sunder and it is not hairy.; int5 -> int6: there is something such that it does not sunder and it is not hairy.; int6 & sent7 -> int7: the seconder is not a kind of a arabesque.; int7 & sent3 -> int8: the rail-splitter is not a kind of a hydromorphone and it does not become.; int8 -> hypothesis;
the batik is not a kind of a catalyst.
sent4 -> int9: the batik does sunder and is not a catalyst if it is insectan.;
$hypothesis$ = the fact that something is not a hydromorphone and it does not become is not correct. ; $context$ = sent1: there is something such that that it is not a catalyst and it is hairy is not right. sent2: the couverture is not insectan. sent3: the rail-splitter is not a hydromorphone and it does not become if the seconder is not a arabesque. sent4: something sunders but it is not a catalyst if it is insectan. sent5: if the Viyella is a hydromorphone then the rail-splitter sunders. sent6: the Viyella is not hairy if there exists something such that that it is not a kind of a catalyst and is hairy is not correct. sent7: if there is something such that it does not sunder and is not hairy the seconder is not a kind of a arabesque. sent8: the couverture is insectan if the Viyella does sunder. ; $proof$ = 
void -> assump1: Let's assume that that the Viyella sunders hold.; sent8 & assump1 -> int1: the couverture is insectan.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Viyella does not sunder.; sent1 & sent6 -> int4: the Viyella is not hairy.; int3 & int4 -> int5: the Viyella does not sunder and it is not hairy.; int5 -> int6: there is something such that it does not sunder and it is not hairy.; int6 & sent7 -> int7: the seconder is not a kind of a arabesque.; int7 & sent3 -> int8: the rail-splitter is not a kind of a hydromorphone and it does not become.; int8 -> hypothesis; __DISPROVED__