the blueing Juneau occurs if the pound occurs.
sent1: the reassignment happens and the blueing Scotland does not occur. sent2: that the reassignment happens but the blueing Scotland does not occur yields that the unripeness does not occur. sent3: that both the pollution and the pounding occurs prevents that the memorializing bloat happens. sent4: the anastomoticness but not the contextualness occurs. sent5: if the unripeness does not occur then the wrestling conscription occurs and the memorializing Iseult occurs. sent6: if the pollution does not occur and the memorializing Iseult happens then the fact that the blueing Juneau happens is not wrong.
void -> assump1: Let's assume that that the pollution occurs hold.; void -> assump2: Let's assume that the pounding occurs.; assump1 & assump2 -> int1: the pollution and the pounding happens.; int1 & sent3 -> int2: the memorializing bloat does not occur.; sent2 & sent1 -> int3: the unripeness does not occur.; sent5 & int3 -> int4: the wrestling conscription and the memorializing Iseult happens.; int4 -> int5: the memorializing Iseult happens.;
$hypothesis$ = the blueing Juneau occurs if the pound occurs. ; $context$ = sent1: the reassignment happens and the blueing Scotland does not occur. sent2: that the reassignment happens but the blueing Scotland does not occur yields that the unripeness does not occur. sent3: that both the pollution and the pounding occurs prevents that the memorializing bloat happens. sent4: the anastomoticness but not the contextualness occurs. sent5: if the unripeness does not occur then the wrestling conscription occurs and the memorializing Iseult occurs. sent6: if the pollution does not occur and the memorializing Iseult happens then the fact that the blueing Juneau happens is not wrong. ; $proof$ = 
void -> assump1: Let's assume that that the pollution occurs hold.; void -> assump2: Let's assume that the pounding occurs.; assump1 & assump2 -> int1: the pollution and the pounding happens.; int1 & sent3 -> int2: the memorializing bloat does not occur.; sent2 & sent1 -> int3: the unripeness does not occur.; sent5 & int3 -> int4: the wrestling conscription and the memorializing Iseult happens.; int4 -> int5: the memorializing Iseult happens.; __UNKNOWN__