if the intolerableness occurs the bioclimaticness does not occur and the commission does not occur.
sent1: the bioclimaticness is prevented by that the hardball and the non-netness happens. sent2: the take-in does not occur if the intolerableness occurs. sent3: if the fact that the audible happens but the practicing does not occur does not hold then the javelin occurs. sent4: if the take-in does not occur the hardball happens but the netting does not occur. sent5: that the audibleness happens but the practice does not occur is false. sent6: the javelin results in that the commission does not occur but the commenting occurs. sent7: if that both the commission and the non-bioclimaticness occurs is not right then the non-bioclimatic happens. sent8: the fact that the commissioning and the non-bioclimaticness occurs is not right if the comment does not occur.
void -> assump1: Let's assume that the intolerableness happens.; sent2 & assump1 -> int1: that the take-in does not occur is true.; int1 & sent4 -> int2: both the hardball and the non-netness happens.; int2 & sent1 -> int3: the bioclimaticness does not occur.; sent3 & sent5 -> int4: the javelin happens.; sent6 & int4 -> int5: the commissioning does not occur and the comment happens.; int5 -> int6: the commission does not occur.; int3 & int6 -> int7: the bioclimaticness does not occur and the commission does not occur.; [assump1] & int7 -> hypothesis;
the span occurs.
$hypothesis$ = if the intolerableness occurs the bioclimaticness does not occur and the commission does not occur. ; $context$ = sent1: the bioclimaticness is prevented by that the hardball and the non-netness happens. sent2: the take-in does not occur if the intolerableness occurs. sent3: if the fact that the audible happens but the practicing does not occur does not hold then the javelin occurs. sent4: if the take-in does not occur the hardball happens but the netting does not occur. sent5: that the audibleness happens but the practice does not occur is false. sent6: the javelin results in that the commission does not occur but the commenting occurs. sent7: if that both the commission and the non-bioclimaticness occurs is not right then the non-bioclimatic happens. sent8: the fact that the commissioning and the non-bioclimaticness occurs is not right if the comment does not occur. ; $proof$ = 
void -> assump1: Let's assume that the intolerableness happens.; sent2 & assump1 -> int1: that the take-in does not occur is true.; int1 & sent4 -> int2: both the hardball and the non-netness happens.; int2 & sent1 -> int3: the bioclimaticness does not occur.; sent3 & sent5 -> int4: the javelin happens.; sent6 & int4 -> int5: the commissioning does not occur and the comment happens.; int5 -> int6: the commission does not occur.; int3 & int6 -> int7: the bioclimaticness does not occur and the commission does not occur.; [assump1] & int7 -> hypothesis; __PROVED__