that if the fact that the chlorophylloseness does not occur is true both the reimbursing bloat and the rustling fog happens is false.
sent1: the back-channelness occurs. sent2: if the playing does not occur then the reimbursing bloat happens. sent3: if the chlorophylloseness happens that the playing occurs and the action does not occur is wrong. sent4: if that the playing but not the action occurs does not hold the reimbursing bloat occurs. sent5: that both the reimbursing bloat and the rustling fog occurs is caused by the chlorophylloseness. sent6: both the back-channelness and the rustling fog happens if the heliocentricness does not occur. sent7: if the heliocentricness does not occur the back-channelness occurs. sent8: the heliocentricness does not occur. sent9: if the chlorophylloseness does not occur then that the playing happens but the action does not occur is not correct.
void -> assump1: Let's assume that the chlorophylloseness does not occur.; sent9 & assump1 -> int1: the fact that that the playing happens and the actioning does not occur is incorrect is right.; int1 & sent4 -> int2: the reimbursing bloat happens.; sent6 & sent8 -> int3: both the back-channelness and the rustling fog happens.; int3 -> int4: the rustling fog happens.; int2 & int4 -> int5: both the reimbursing bloat and the rustling fog occurs.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that if the fact that the chlorophylloseness does not occur is true both the reimbursing bloat and the rustling fog happens is false. ; $context$ = sent1: the back-channelness occurs. sent2: if the playing does not occur then the reimbursing bloat happens. sent3: if the chlorophylloseness happens that the playing occurs and the action does not occur is wrong. sent4: if that the playing but not the action occurs does not hold the reimbursing bloat occurs. sent5: that both the reimbursing bloat and the rustling fog occurs is caused by the chlorophylloseness. sent6: both the back-channelness and the rustling fog happens if the heliocentricness does not occur. sent7: if the heliocentricness does not occur the back-channelness occurs. sent8: the heliocentricness does not occur. sent9: if the chlorophylloseness does not occur then that the playing happens but the action does not occur is not correct. ; $proof$ = 
void -> assump1: Let's assume that the chlorophylloseness does not occur.; sent9 & assump1 -> int1: the fact that that the playing happens and the actioning does not occur is incorrect is right.; int1 & sent4 -> int2: the reimbursing bloat happens.; sent6 & sent8 -> int3: both the back-channelness and the rustling fog happens.; int3 -> int4: the rustling fog happens.; int2 & int4 -> int5: both the reimbursing bloat and the rustling fog occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__