that if the lob does not occur then the fact that the Gaboneseness and/or the sunbeam occurs is not correct is incorrect.
sent1: the Gabonese and/or the sunbeam occurs if the lob does not occur. sent2: if the rumba does not occur either the Gabonese occurs or the sunbeam happens or both. sent3: the Gabonese does not occur. sent4: the ascension happens. sent5: that either the Gabonese or the sunbeam or both happens is not right if that the rumba does not occur is not wrong. sent6: if the rumba occurs then the lobbing happens. sent7: if that the lobbing does not occur is not wrong the Gaboneseness does not occur. sent8: if the lobbing occurs then that the Gaboneseness or the sunbeam or both happens is false. sent9: that that the rumba does not occur causes the non-Gaboneseness is not false.
void -> assump1: Let's assume that the rumba happens.; sent6 & assump1 -> int1: the lob happens.; void -> assump2: Let's assume that the lobbing does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the rumba does not occur.; sent5 & int3 -> int4: that the Gabonese happens and/or the sunbeam occurs does not hold.; [assump2] & int4 -> hypothesis;
$hypothesis$ = that if the lob does not occur then the fact that the Gaboneseness and/or the sunbeam occurs is not correct is incorrect. ; $context$ = sent1: the Gabonese and/or the sunbeam occurs if the lob does not occur. sent2: if the rumba does not occur either the Gabonese occurs or the sunbeam happens or both. sent3: the Gabonese does not occur. sent4: the ascension happens. sent5: that either the Gabonese or the sunbeam or both happens is not right if that the rumba does not occur is not wrong. sent6: if the rumba occurs then the lobbing happens. sent7: if that the lobbing does not occur is not wrong the Gaboneseness does not occur. sent8: if the lobbing occurs then that the Gaboneseness or the sunbeam or both happens is false. sent9: that that the rumba does not occur causes the non-Gaboneseness is not false. ; $proof$ = 
void -> assump1: Let's assume that the rumba happens.; sent6 & assump1 -> int1: the lob happens.; void -> assump2: Let's assume that the lobbing does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the rumba does not occur.; sent5 & int3 -> int4: that the Gabonese happens and/or the sunbeam occurs does not hold.; [assump2] & int4 -> hypothesis; __DISPROVED__