the pasta occurs.
sent1: that either the DO does not occur or the self-destruction occurs or both brings about that the DO does not occur. sent2: the DO occurs if the pastaness occurs. sent3: the zizz does not occur. sent4: the zizz happens if the DO happens. sent5: the laicizing occurs.
void -> assump1: Let's assume that the fact that the pasta occurs hold.; sent2 & assump1 -> int1: the DO occurs.; int1 & sent4 -> int2: the fact that the zizz occurs hold.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the marking does not occur.
$hypothesis$ = the pasta occurs. ; $context$ = sent1: that either the DO does not occur or the self-destruction occurs or both brings about that the DO does not occur. sent2: the DO occurs if the pastaness occurs. sent3: the zizz does not occur. sent4: the zizz happens if the DO happens. sent5: the laicizing occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the pasta occurs hold.; sent2 & assump1 -> int1: the DO occurs.; int1 & sent4 -> int2: the fact that the zizz occurs hold.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__