the fact that if the fact that not the disjunctness but the reverberantness happens does not hold then the reverberantness does not occur is not true.
sent1: the disjunctness does not occur. sent2: that the reverberantness does not occur and the disjunctness does not occur is triggered by that the support does not occur. sent3: the fact that the designing scattered does not occur and the surgicalness occurs is not correct. sent4: the fact that the wholesale occurs is not false. sent5: if the orthopticness does not occur but the maundering occurs the maundering does not occur. sent6: both the non-unassertiveness and the meshing bitterness happens. sent7: that the supporting does not occur is brought about by that the bracteolateness but not the consultancy happens. sent8: the whiffing isolationist does not occur. sent9: if the fact that the meshing bruxism does not occur but the earlierness occurs is not right then that the earlierness does not occur is not wrong. sent10: the amminoness does not occur but the meshing tenure occurs. sent11: that both the unreverberantness and the non-disjunctness occurs prevents the agnostic. sent12: the postmodernistness does not occur if that not the cramping but the postmodernistness occurs does not hold. sent13: if the fact that the non-disjunctness and the reverberantness happens is wrong then the reverberantness occurs. sent14: the fact that not the skimming but the cardinalship happens does not hold. sent15: if the disjunctness happens then the landlessness occurs. sent16: the monetizing self does not occur. sent17: the submitting does not occur. sent18: both the interpenetration and the bracteolateness happens.
void -> assump1: Let's assume that the reverberantness happens.; sent1 & assump1 -> int1: not the disjunctness but the reverberantness happens.; void -> assump2: Let's assume that the fact that the disjunctness does not occur but the reverberantness happens does not hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the reverberantness does not occur.; [assump2] & int3 -> hypothesis;
the agnostic does not occur.
sent18 -> int4: the bracteolateness occurs.;
$hypothesis$ = the fact that if the fact that not the disjunctness but the reverberantness happens does not hold then the reverberantness does not occur is not true. ; $context$ = sent1: the disjunctness does not occur. sent2: that the reverberantness does not occur and the disjunctness does not occur is triggered by that the support does not occur. sent3: the fact that the designing scattered does not occur and the surgicalness occurs is not correct. sent4: the fact that the wholesale occurs is not false. sent5: if the orthopticness does not occur but the maundering occurs the maundering does not occur. sent6: both the non-unassertiveness and the meshing bitterness happens. sent7: that the supporting does not occur is brought about by that the bracteolateness but not the consultancy happens. sent8: the whiffing isolationist does not occur. sent9: if the fact that the meshing bruxism does not occur but the earlierness occurs is not right then that the earlierness does not occur is not wrong. sent10: the amminoness does not occur but the meshing tenure occurs. sent11: that both the unreverberantness and the non-disjunctness occurs prevents the agnostic. sent12: the postmodernistness does not occur if that not the cramping but the postmodernistness occurs does not hold. sent13: if the fact that the non-disjunctness and the reverberantness happens is wrong then the reverberantness occurs. sent14: the fact that not the skimming but the cardinalship happens does not hold. sent15: if the disjunctness happens then the landlessness occurs. sent16: the monetizing self does not occur. sent17: the submitting does not occur. sent18: both the interpenetration and the bracteolateness happens. ; $proof$ = 
void -> assump1: Let's assume that the reverberantness happens.; sent1 & assump1 -> int1: not the disjunctness but the reverberantness happens.; void -> assump2: Let's assume that the fact that the disjunctness does not occur but the reverberantness happens does not hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the reverberantness does not occur.; [assump2] & int3 -> hypothesis; __DISPROVED__