if the Sabine occurs then not the batting but the ransom occurs.
sent1: if the miscibleness does not occur the ransoming and the baas happens. sent2: the miscibleness does not occur if that the nonclassicalness and the non-stoloniferousness happens is not true. sent3: that the Sabine occurs is prevented by the fairness and/or the batting.
void -> assump1: Let's assume that the batting occurs.; assump1 -> int1: either the unfairness does not occur or the batting happens or both.; int1 & sent3 -> int2: that the Sabineness does not occur is not false.; void -> assump2: Let's assume that the Sabineness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the batting does not occur hold.;
$hypothesis$ = if the Sabine occurs then not the batting but the ransom occurs. ; $context$ = sent1: if the miscibleness does not occur the ransoming and the baas happens. sent2: the miscibleness does not occur if that the nonclassicalness and the non-stoloniferousness happens is not true. sent3: that the Sabine occurs is prevented by the fairness and/or the batting. ; $proof$ = 
void -> assump1: Let's assume that the batting occurs.; assump1 -> int1: either the unfairness does not occur or the batting happens or both.; int1 & sent3 -> int2: that the Sabineness does not occur is not false.; void -> assump2: Let's assume that the Sabineness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the batting does not occur hold.; __UNKNOWN__