the grumble happens if the drumming occurs.
sent1: that the grumbling does not occur causes that the angiocarpicness happens. sent2: that the fullback does not occur is prevented by that the angiocarpicness occurs. sent3: the drumming does not occur if the fullbacking occurs.
void -> assump2: Let's assume that that the drumming happens is not wrong.; void -> assump1: Let's assume that the grumbling does not occur.; sent1 & assump1 -> int1: the angiocarpicness occurs.; sent2 & int1 -> int2: the fullbacking occurs.; sent3 & int2 -> int3: the drumming does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the grumble occurs.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the grumble happens if the drumming occurs. ; $context$ = sent1: that the grumbling does not occur causes that the angiocarpicness happens. sent2: that the fullback does not occur is prevented by that the angiocarpicness occurs. sent3: the drumming does not occur if the fullbacking occurs. ; $proof$ = 
void -> assump2: Let's assume that that the drumming happens is not wrong.; void -> assump1: Let's assume that the grumbling does not occur.; sent1 & assump1 -> int1: the angiocarpicness occurs.; sent2 & int1 -> int2: the fullbacking occurs.; sent3 & int2 -> int3: the drumming does not occur.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the grumble occurs.; [assump2] & int5 -> hypothesis; __PROVED__