the acyclicness and the revelation happens.
sent1: the readjustment causes that the clanking doornail occurs. sent2: that not the clanking piperazine but the rappeling occurs does not hold. sent3: if both the clanking doornail and the revelation happens then the chain does not occur. sent4: the fact that the clanking piperazine does not occur and the rappeling occurs is not false if the clanking doornail happens. sent5: the fact that the readjustment does not occur and the nasopharyngealness happens is not right if the revelation does not occur. sent6: the fact that the clanking doornail occurs is not incorrect if that the readjustment does not occur but the nasopharyngealness happens does not hold.
void -> assump1: Let's assume that the revelation does not occur.; sent5 & assump1 -> int1: that the readjustment does not occur and the nasopharyngealness happens does not hold.; int1 & sent6 -> int2: the clanking doornail occurs.; int2 & sent4 -> int3: not the clanking piperazine but the rappeling occurs.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the revelation happens is not false.;
the chaining does not occur.
$hypothesis$ = the acyclicness and the revelation happens. ; $context$ = sent1: the readjustment causes that the clanking doornail occurs. sent2: that not the clanking piperazine but the rappeling occurs does not hold. sent3: if both the clanking doornail and the revelation happens then the chain does not occur. sent4: the fact that the clanking piperazine does not occur and the rappeling occurs is not false if the clanking doornail happens. sent5: the fact that the readjustment does not occur and the nasopharyngealness happens is not right if the revelation does not occur. sent6: the fact that the clanking doornail occurs is not incorrect if that the readjustment does not occur but the nasopharyngealness happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the revelation does not occur.; sent5 & assump1 -> int1: that the readjustment does not occur and the nasopharyngealness happens does not hold.; int1 & sent6 -> int2: the clanking doornail occurs.; int2 & sent4 -> int3: not the clanking piperazine but the rappeling occurs.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the revelation happens is not false.; __UNKNOWN__