the appearing does not occur if the entering guereza occurs.
sent1: both the depressurizing Louisiana and the crediting Tragelaphus happens. sent2: that the bore occurs leads to that the entering monolith does not occur. sent3: that both the appearing and the entering guereza occurs prevents that the depressurizing Louisiana occurs. sent4: if the entering guereza does not occur the fact that both the crediting stepbrother and the appearing occurs does not hold. sent5: the fact that the crediting Tragelaphus happens and the depressurizing Louisiana happens does not hold if the curveting does not occur. sent6: the leglessness does not occur. sent7: if the entering guereza happens the appearing happens. sent8: the crediting Tragelaphus occurs. sent9: that the crediting stepbrother does not occur hold if the fact that both the crediting stepbrother and the appearing occurs is not correct.
void -> assump2: Let's assume that the appearing occurs.; void -> assump1: Let's assume that the entering guereza happens.; assump2 & assump1 -> int1: the appearing occurs and the entering guereza happens.; int1 & sent3 -> int2: the depressurizing Louisiana does not occur.; sent1 -> int3: the depressurizing Louisiana happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the appearing does not occur.; [assump1] & int5 -> hypothesis;
the fact that the crediting stepbrother does not occur is true.
$hypothesis$ = the appearing does not occur if the entering guereza occurs. ; $context$ = sent1: both the depressurizing Louisiana and the crediting Tragelaphus happens. sent2: that the bore occurs leads to that the entering monolith does not occur. sent3: that both the appearing and the entering guereza occurs prevents that the depressurizing Louisiana occurs. sent4: if the entering guereza does not occur the fact that both the crediting stepbrother and the appearing occurs does not hold. sent5: the fact that the crediting Tragelaphus happens and the depressurizing Louisiana happens does not hold if the curveting does not occur. sent6: the leglessness does not occur. sent7: if the entering guereza happens the appearing happens. sent8: the crediting Tragelaphus occurs. sent9: that the crediting stepbrother does not occur hold if the fact that both the crediting stepbrother and the appearing occurs is not correct. ; $proof$ = 
void -> assump2: Let's assume that the appearing occurs.; void -> assump1: Let's assume that the entering guereza happens.; assump2 & assump1 -> int1: the appearing occurs and the entering guereza happens.; int1 & sent3 -> int2: the depressurizing Louisiana does not occur.; sent1 -> int3: the depressurizing Louisiana happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the appearing does not occur.; [assump1] & int5 -> hypothesis; __PROVED__