if the asceticism happens the sparring does not occur and the supraorbitalness does not occur.
sent1: if that the asceticism and/or the booking occurs is true then the supraorbitalness does not occur. sent2: the sparring does not occur.
void -> assump1: Let's assume that the asceticism occurs.; assump1 -> int1: either the asceticism or the booking or both happens.; int1 & sent1 -> int2: the supraorbitalness does not occur.; int2 & sent2 -> int3: the sparring does not occur and the supraorbitalness does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the asceticism happens the sparring does not occur and the supraorbitalness does not occur. ; $context$ = sent1: if that the asceticism and/or the booking occurs is true then the supraorbitalness does not occur. sent2: the sparring does not occur. ; $proof$ = 
void -> assump1: Let's assume that the asceticism occurs.; assump1 -> int1: either the asceticism or the booking or both happens.; int1 & sent1 -> int2: the supraorbitalness does not occur.; int2 & sent2 -> int3: the sparring does not occur and the supraorbitalness does not occur.; [assump1] & int3 -> hypothesis; __PROVED__