the interposing amulet is prevented by that the jibing happens.
sent1: if either the impregnation occurs or the jibing occurs or both then the interposing amulet occurs. sent2: if that the impregnation does not occur but the jibing occurs is incorrect the pose happens. sent3: the interposing amulet does not occur if the impregnation and/or the jibing happens.
void -> assump1: Let's assume that the jibing happens.; assump1 -> int1: the impregnation and/or the jibing happens.; int1 & sent3 -> int2: the interposing amulet does not occur.; [assump1] & int2 -> hypothesis;
that the pose occurs is right.
$hypothesis$ = the interposing amulet is prevented by that the jibing happens. ; $context$ = sent1: if either the impregnation occurs or the jibing occurs or both then the interposing amulet occurs. sent2: if that the impregnation does not occur but the jibing occurs is incorrect the pose happens. sent3: the interposing amulet does not occur if the impregnation and/or the jibing happens. ; $proof$ = 
void -> assump1: Let's assume that the jibing happens.; assump1 -> int1: the impregnation and/or the jibing happens.; int1 & sent3 -> int2: the interposing amulet does not occur.; [assump1] & int2 -> hypothesis; __PROVED__