the fohn does not occur.
sent1: the eliminating officiant happens. sent2: the corkscrew does not occur if that either the unjustness or the shoot-down or both occurs is false. sent3: that the buying does not occur and the curacy does not occur is not right if the eliminating officiant occurs. sent4: if that the buying does not occur and the curacy does not occur is incorrect the buying occurs. sent5: the fact that the pinning brazier happens and the Death does not occur is incorrect. sent6: if the lotto does not occur then the fact that the unjustness and/or the shoot-down occurs is false. sent7: the lotto does not occur if that the mending but not the fogbank happens is not right. sent8: the fohn does not occur if both the mending and the buying occurs.
void -> assump1: Let's assume that the fact that the mending but not the fogbank occurs is wrong.; sent7 & assump1 -> int1: the lotto does not occur.; int1 & sent6 -> int2: that the unjustness occurs or the shoot-down happens or both does not hold.; int2 & sent2 -> int3: the corkscrewing does not occur.; sent3 & sent1 -> int4: the fact that the buying does not occur and the curacy does not occur is not right.; sent4 & int4 -> int5: the buying happens.;
$hypothesis$ = the fohn does not occur. ; $context$ = sent1: the eliminating officiant happens. sent2: the corkscrew does not occur if that either the unjustness or the shoot-down or both occurs is false. sent3: that the buying does not occur and the curacy does not occur is not right if the eliminating officiant occurs. sent4: if that the buying does not occur and the curacy does not occur is incorrect the buying occurs. sent5: the fact that the pinning brazier happens and the Death does not occur is incorrect. sent6: if the lotto does not occur then the fact that the unjustness and/or the shoot-down occurs is false. sent7: the lotto does not occur if that the mending but not the fogbank happens is not right. sent8: the fohn does not occur if both the mending and the buying occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the mending but not the fogbank occurs is wrong.; sent7 & assump1 -> int1: the lotto does not occur.; int1 & sent6 -> int2: that the unjustness occurs or the shoot-down happens or both does not hold.; int2 & sent2 -> int3: the corkscrewing does not occur.; sent3 & sent1 -> int4: the fact that the buying does not occur and the curacy does not occur is not right.; sent4 & int4 -> int5: the buying happens.; __UNKNOWN__