that the churning happens is caused by that the postmillennialness occurs.
sent1: that the churning does not occur is prevented by that either the ferry happens or the excursion does not occur or both. sent2: the ferrying occurs and/or the excursion occurs. sent3: the companying bogy does not occur. sent4: that the tweezing Hygeia does not occur is caused by that the incompetent does not occur and the self-control does not occur. sent5: that not the postmillennialness but the companying monopolization happens is not true. sent6: that the excursion does not occur is correct if the postmillennialness does not occur and the companying monopolization does not occur. sent7: the fact that the excursion does not occur is not incorrect if that the postmillennialness does not occur and the companying monopolization does not occur is incorrect.
void -> assump2: Let's assume that the postmillennialness occurs.; void -> assump1: Let's assume that the postmillennialness does not occur and the companying monopolization does not occur.; assump1 -> int1: the postmillennialness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the postmillennialness does not occur and the companying monopolization does not occur does not hold.; sent7 & int3 -> int4: the excursion does not occur.; int4 -> int5: either the ferrying occurs or the excursion does not occur or both.; sent1 & int5 -> int6: that the churning occurs is right.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that the churning happens is caused by that the postmillennialness occurs. ; $context$ = sent1: that the churning does not occur is prevented by that either the ferry happens or the excursion does not occur or both. sent2: the ferrying occurs and/or the excursion occurs. sent3: the companying bogy does not occur. sent4: that the tweezing Hygeia does not occur is caused by that the incompetent does not occur and the self-control does not occur. sent5: that not the postmillennialness but the companying monopolization happens is not true. sent6: that the excursion does not occur is correct if the postmillennialness does not occur and the companying monopolization does not occur. sent7: the fact that the excursion does not occur is not incorrect if that the postmillennialness does not occur and the companying monopolization does not occur is incorrect. ; $proof$ = 
void -> assump2: Let's assume that the postmillennialness occurs.; void -> assump1: Let's assume that the postmillennialness does not occur and the companying monopolization does not occur.; assump1 -> int1: the postmillennialness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the postmillennialness does not occur and the companying monopolization does not occur does not hold.; sent7 & int3 -> int4: the excursion does not occur.; int4 -> int5: either the ferrying occurs or the excursion does not occur or both.; sent1 & int5 -> int6: that the churning occurs is right.; [assump2] & int6 -> hypothesis; __PROVED__