the occulting results in that not the ambushing Bolingbroke but the compromising Marchantia occurs.
sent1: that the sow does not occur is triggered by that the canalization occurs and the occult happens. sent2: the lighterage does not occur and the quivering actinopod happens. sent3: if the lockdown occurs the procession does not occur but the cervicalness happens. sent4: the ambushing ferrule does not occur but the compromising highchair occurs. sent5: that the bromicness happens hold. sent6: the accelerating traffic does not occur. sent7: the bromicness is triggered by that the sow does not occur. sent8: the canalization occurs. sent9: not the burlesque but the quivering return happens. sent10: that both the communalness and the cock-a-doodle-doo occurs is triggered by that the canalization does not occur. sent11: the Colombianness does not occur. sent12: that the accelerating disavowal and the Grant happens causes that the clamatorialness does not occur. sent13: the ambushing Bolingbroke does not occur. sent14: both the bromicness and the compromising Marchantia happens if the sowing does not occur.
void -> assump1: Let's assume that the occult occurs.; sent8 & assump1 -> int1: the canalization and the occult happens.; int1 & sent1 -> int2: the sow does not occur.; int2 & sent14 -> int3: the bromicness occurs and the compromising Marchantia occurs.; int3 -> int4: the compromising Marchantia happens.; int4 & sent13 -> int5: not the ambushing Bolingbroke but the compromising Marchantia occurs.; [assump1] & int5 -> hypothesis;
both the communalness and the cock-a-doodle-doo happens.
$hypothesis$ = the occulting results in that not the ambushing Bolingbroke but the compromising Marchantia occurs. ; $context$ = sent1: that the sow does not occur is triggered by that the canalization occurs and the occult happens. sent2: the lighterage does not occur and the quivering actinopod happens. sent3: if the lockdown occurs the procession does not occur but the cervicalness happens. sent4: the ambushing ferrule does not occur but the compromising highchair occurs. sent5: that the bromicness happens hold. sent6: the accelerating traffic does not occur. sent7: the bromicness is triggered by that the sow does not occur. sent8: the canalization occurs. sent9: not the burlesque but the quivering return happens. sent10: that both the communalness and the cock-a-doodle-doo occurs is triggered by that the canalization does not occur. sent11: the Colombianness does not occur. sent12: that the accelerating disavowal and the Grant happens causes that the clamatorialness does not occur. sent13: the ambushing Bolingbroke does not occur. sent14: both the bromicness and the compromising Marchantia happens if the sowing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the occult occurs.; sent8 & assump1 -> int1: the canalization and the occult happens.; int1 & sent1 -> int2: the sow does not occur.; int2 & sent14 -> int3: the bromicness occurs and the compromising Marchantia occurs.; int3 -> int4: the compromising Marchantia happens.; int4 & sent13 -> int5: not the ambushing Bolingbroke but the compromising Marchantia occurs.; [assump1] & int5 -> hypothesis; __PROVED__