the fact that the broadening does not occur and the bypassing Lophophora does not occur if the facilitating glooming occurs does not hold.
sent1: if the reductionistness does not occur then the bypassing Lophophora does not occur. sent2: that the modernism does not occur brings about the non-reductionistness. sent3: the fatalistness does not occur. sent4: the barking abhorrer does not occur and the pawing does not occur. sent5: the bypassing Lophophora does not occur. sent6: if that the modernism occurs but the appreciation does not occur is incorrect then the reductionistness does not occur. sent7: the facilitating glooming causes that the bypassing Lophophora does not occur. sent8: the mistral happens but the tuberculateness does not occur. sent9: the smashing does not occur. sent10: the enraging does not occur and the lindy does not occur. sent11: that both the exotericness and the non-nonreflectiveness happens is false. sent12: that the broadening but not the bypassing Lophophora happens is brought about by the facilitating glooming. sent13: the atonalness but not the twining catgut occurs. sent14: that the modernism happens but the appreciation does not occur prevents the facilitating glooming. sent15: that the broadening does not occur and the bypassing Lophophora does not occur is caused by the non-reductionistness. sent16: if the modernism occurs but the appreciation does not occur then the facilitating glooming happens. sent17: the modernism occurs.
void -> assump1: Let's assume that the facilitating glooming happens.; void -> assump2: Let's assume that the modernism but not the appreciation happens.; sent14 & assump2 -> int1: the facilitating glooming does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the modernism occurs but the appreciation does not occur does not hold.; sent6 & int3 -> int4: the reductionistness does not occur.; sent15 & int4 -> int5: the broadening does not occur and the bypassing Lophophora does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the broadening does not occur and the bypassing Lophophora does not occur if the facilitating glooming occurs does not hold. ; $context$ = sent1: if the reductionistness does not occur then the bypassing Lophophora does not occur. sent2: that the modernism does not occur brings about the non-reductionistness. sent3: the fatalistness does not occur. sent4: the barking abhorrer does not occur and the pawing does not occur. sent5: the bypassing Lophophora does not occur. sent6: if that the modernism occurs but the appreciation does not occur is incorrect then the reductionistness does not occur. sent7: the facilitating glooming causes that the bypassing Lophophora does not occur. sent8: the mistral happens but the tuberculateness does not occur. sent9: the smashing does not occur. sent10: the enraging does not occur and the lindy does not occur. sent11: that both the exotericness and the non-nonreflectiveness happens is false. sent12: that the broadening but not the bypassing Lophophora happens is brought about by the facilitating glooming. sent13: the atonalness but not the twining catgut occurs. sent14: that the modernism happens but the appreciation does not occur prevents the facilitating glooming. sent15: that the broadening does not occur and the bypassing Lophophora does not occur is caused by the non-reductionistness. sent16: if the modernism occurs but the appreciation does not occur then the facilitating glooming happens. sent17: the modernism occurs. ; $proof$ = 
void -> assump1: Let's assume that the facilitating glooming happens.; void -> assump2: Let's assume that the modernism but not the appreciation happens.; sent14 & assump2 -> int1: the facilitating glooming does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the modernism occurs but the appreciation does not occur does not hold.; sent6 & int3 -> int4: the reductionistness does not occur.; sent15 & int4 -> int5: the broadening does not occur and the bypassing Lophophora does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__