the exfoliation is prevented by that the bulbarness and the perseveration occurs.
sent1: the exfoliation does not occur if the perseveration happens and the acaudateness occurs. sent2: the acaudateness happens. sent3: the bulbarness happens.
void -> assump1: Let's assume that the bulbarness occurs and the perseveration happens.; assump1 -> int1: the perseveration happens.; int1 & sent2 -> int2: the perseveration and the acaudateness happens.; sent1 & int2 -> int3: the exfoliation does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the exfoliation is prevented by that the bulbarness and the perseveration occurs. ; $context$ = sent1: the exfoliation does not occur if the perseveration happens and the acaudateness occurs. sent2: the acaudateness happens. sent3: the bulbarness happens. ; $proof$ = 
void -> assump1: Let's assume that the bulbarness occurs and the perseveration happens.; assump1 -> int1: the perseveration happens.; int1 & sent2 -> int2: the perseveration and the acaudateness happens.; sent1 & int2 -> int3: the exfoliation does not occur.; [assump1] & int3 -> hypothesis; __PROVED__