if the lapidating occurs the tusking personalty occurs.
sent1: that the ununderstoodness occurs but the experiencing does not occur prevents that the tusking personalty does not occur. sent2: that the lapidating happens results in that the ununderstoodness but not the experience occurs.
void -> assump1: Let's assume that the lapidating happens.; sent2 & assump1 -> int1: the ununderstoodness happens but the experience does not occur.; sent1 & int1 -> int2: the tusking personalty happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the lapidating occurs the tusking personalty occurs. ; $context$ = sent1: that the ununderstoodness occurs but the experiencing does not occur prevents that the tusking personalty does not occur. sent2: that the lapidating happens results in that the ununderstoodness but not the experience occurs. ; $proof$ = 
void -> assump1: Let's assume that the lapidating happens.; sent2 & assump1 -> int1: the ununderstoodness happens but the experience does not occur.; sent1 & int1 -> int2: the tusking personalty happens.; [assump1] & int2 -> hypothesis; __PROVED__