that if the flaking Libra does not occur the flaking burette happens is wrong.
sent1: that the flaking burette does not occur causes that the tipping activation does not occur. sent2: the non-unimportantness and the flaking dredger occurs. sent3: the rage does not occur but the asexualness happens if the overusing photomontage does not occur. sent4: if the Colombianness and the rule happens then the traffic happens. sent5: the flaking Libra occurs if the tipping activation happens and the thermostaticsness occurs. sent6: that the attainment does not occur is prevented by that the incursion does not occur but the Jamesianness occurs. sent7: the conviction happens if the tipping Plautus does not occur and the unimportantness occurs. sent8: if the flaking Libra happens the flaking burette occurs. sent9: the epiphany occurs if the overusing ransomed happens. sent10: not the tipping activation but the thermostaticsness happens if the flaking burette happens. sent11: the unimportantness does not occur. sent12: not the tipping activation but the thermostaticsness occurs if the flaking burette does not occur. sent13: the exercise does not occur. sent14: not the technical but the tipping grantor happens. sent15: the tipping activation does not occur. sent16: that the inversion happens is true if the tipping nothingness does not occur. sent17: that the fishing happens is caused by that both the non-hemolyticness and the flaking lightness happens. sent18: that the flaking Libra happens is triggered by that not the tipping activation but the thermostaticsness happens.
void -> assump2: Let's assume that that the flaking burette does not occur is not false.; sent12 & assump2 -> int1: the tipping activation does not occur but the thermostaticsness occurs.; sent18 & int1 -> int2: the flaking Libra occurs.; void -> assump1: Let's assume that the flaking Libra does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the flaking burette happens.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the flaking Libra does not occur the flaking burette happens is wrong. ; $context$ = sent1: that the flaking burette does not occur causes that the tipping activation does not occur. sent2: the non-unimportantness and the flaking dredger occurs. sent3: the rage does not occur but the asexualness happens if the overusing photomontage does not occur. sent4: if the Colombianness and the rule happens then the traffic happens. sent5: the flaking Libra occurs if the tipping activation happens and the thermostaticsness occurs. sent6: that the attainment does not occur is prevented by that the incursion does not occur but the Jamesianness occurs. sent7: the conviction happens if the tipping Plautus does not occur and the unimportantness occurs. sent8: if the flaking Libra happens the flaking burette occurs. sent9: the epiphany occurs if the overusing ransomed happens. sent10: not the tipping activation but the thermostaticsness happens if the flaking burette happens. sent11: the unimportantness does not occur. sent12: not the tipping activation but the thermostaticsness occurs if the flaking burette does not occur. sent13: the exercise does not occur. sent14: not the technical but the tipping grantor happens. sent15: the tipping activation does not occur. sent16: that the inversion happens is true if the tipping nothingness does not occur. sent17: that the fishing happens is caused by that both the non-hemolyticness and the flaking lightness happens. sent18: that the flaking Libra happens is triggered by that not the tipping activation but the thermostaticsness happens. ; $proof$ = 
void -> assump2: Let's assume that that the flaking burette does not occur is not false.; sent12 & assump2 -> int1: the tipping activation does not occur but the thermostaticsness occurs.; sent18 & int1 -> int2: the flaking Libra occurs.; void -> assump1: Let's assume that the flaking Libra does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the flaking burette happens.; [assump1] & int4 -> hypothesis; __DISPROVED__