the fact that the contrapuntalness does not occur if the mistaking seed occurs is wrong.
sent1: the perianalness and the permeating happens. sent2: the ministerialness and the fraternization happens. sent3: if the mistaking seed does not occur the fact that the contrapuntalness does not occur but the premeditating occurs is incorrect. sent4: the germiness does not occur. sent5: the mistaking vice-regent does not occur. sent6: the track does not occur if the fact that the contrapuntalness does not occur and the premeditating happens is not correct. sent7: the fraternization happens. sent8: that the premeditating happens is caused by that the contrapuntalness happens. sent9: the multinucleateness occurs. sent10: the Venetian does not occur. sent11: the non-ministerialness is triggered by that both the premeditating and the mistaking seed happens.
void -> assump2: Let's assume that the contrapuntalness happens.; sent8 & assump2 -> int1: the premeditating occurs.; void -> assump1: Let's assume that the mistaking seed happens.; int1 & assump1 -> int2: the premeditating happens and the mistaking seed happens.; int2 & sent11 -> int3: the ministerialness does not occur.; sent2 -> int4: the ministerialness occurs.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the contrapuntalness does not occur.; [assump1] & int6 -> hypothesis;
the track does not occur.
$hypothesis$ = the fact that the contrapuntalness does not occur if the mistaking seed occurs is wrong. ; $context$ = sent1: the perianalness and the permeating happens. sent2: the ministerialness and the fraternization happens. sent3: if the mistaking seed does not occur the fact that the contrapuntalness does not occur but the premeditating occurs is incorrect. sent4: the germiness does not occur. sent5: the mistaking vice-regent does not occur. sent6: the track does not occur if the fact that the contrapuntalness does not occur and the premeditating happens is not correct. sent7: the fraternization happens. sent8: that the premeditating happens is caused by that the contrapuntalness happens. sent9: the multinucleateness occurs. sent10: the Venetian does not occur. sent11: the non-ministerialness is triggered by that both the premeditating and the mistaking seed happens. ; $proof$ = 
void -> assump2: Let's assume that the contrapuntalness happens.; sent8 & assump2 -> int1: the premeditating occurs.; void -> assump1: Let's assume that the mistaking seed happens.; int1 & assump1 -> int2: the premeditating happens and the mistaking seed happens.; int2 & sent11 -> int3: the ministerialness does not occur.; sent2 -> int4: the ministerialness occurs.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the contrapuntalness does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__