if the positivist does not occur then the kwanza does not occur.
sent1: the fact that the kwanza does not occur is not wrong if the fact that the positivist occurs is not false. sent2: if that the boarding occurs and the embolism does not occur is not true the leveling does not occur. sent3: that the Justice happens and the binauralness does not occur is not right. sent4: the resisting happens if the kwanza happens. sent5: the positivist does not occur and the contact does not occur if the leveling does not occur. sent6: that not the Justice but the binauralness occurs is incorrect. sent7: the non-positivistness is prevented by that both the Justice and the non-binauralness occurs. sent8: the positivistness happens if the Justice does not occur and the binauralness does not occur. sent9: if the fact that the Justice does not occur and the binauralness does not occur is not true the kwanza occurs. sent10: the fact that the kwanza happens is not wrong if the fact that the positivist does not occur hold. sent11: that the Justice does not occur and the binauralness happens leads to the positivistness. sent12: if the fact that the Sotho does not occur hold the fact that the boarding happens and the embolism does not occur does not hold. sent13: if the positivistness does not occur and the contact does not occur the kwanza happens.
void -> assump2: Let's assume that the Justice does not occur and the binauralness does not occur.; sent8 & assump2 -> int1: the positivist occurs.; void -> assump1: Let's assume that the positivist does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Justice does not occur and the binauralness does not occur is not true.;
the resisting happens.
$hypothesis$ = if the positivist does not occur then the kwanza does not occur. ; $context$ = sent1: the fact that the kwanza does not occur is not wrong if the fact that the positivist occurs is not false. sent2: if that the boarding occurs and the embolism does not occur is not true the leveling does not occur. sent3: that the Justice happens and the binauralness does not occur is not right. sent4: the resisting happens if the kwanza happens. sent5: the positivist does not occur and the contact does not occur if the leveling does not occur. sent6: that not the Justice but the binauralness occurs is incorrect. sent7: the non-positivistness is prevented by that both the Justice and the non-binauralness occurs. sent8: the positivistness happens if the Justice does not occur and the binauralness does not occur. sent9: if the fact that the Justice does not occur and the binauralness does not occur is not true the kwanza occurs. sent10: the fact that the kwanza happens is not wrong if the fact that the positivist does not occur hold. sent11: that the Justice does not occur and the binauralness happens leads to the positivistness. sent12: if the fact that the Sotho does not occur hold the fact that the boarding happens and the embolism does not occur does not hold. sent13: if the positivistness does not occur and the contact does not occur the kwanza happens. ; $proof$ = 
void -> assump2: Let's assume that the Justice does not occur and the binauralness does not occur.; sent8 & assump2 -> int1: the positivist occurs.; void -> assump1: Let's assume that the positivist does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Justice does not occur and the binauralness does not occur is not true.; __UNKNOWN__