the fact that if the launching does not occur the fact that the uptick occurs and the tearlessness happens does not hold is false.
sent1: if the flashover does not occur both the uptick and the tearlessness happens. sent2: the emending ageratum does not occur. sent3: if the flashover occurs the urticating Hippobosca does not occur and/or the sexiness occurs. sent4: that the urticating Hippobosca does not occur or the sexiness or both results in the launching. sent5: that the launching occurs is not incorrect if the sexiness happens. sent6: that not the launching but the flashover occurs prevents that the buffoonery occurs. sent7: that the launching does not occur triggers that the uptick and the tearlessness happens. sent8: the fact that the uptick and the tearlessness occurs does not hold if the flashover does not occur. sent9: the cabinetwork does not occur or the emending pardoner happens or both. sent10: that both the uptick and the tearlessness occurs is not true if the launching happens.
void -> assump1: Let's assume that the fact that the flashover occurs is not false.; sent3 & assump1 -> int1: the urticating Hippobosca does not occur and/or the sexiness occurs.; int1 & sent4 -> int2: the fact that the launching occurs is not wrong.; void -> assump2: Let's assume that the launching does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flashover does not occur.; int4 & sent8 -> int5: the fact that both the uptick and the tearlessness happens is false.; [assump2] & int5 -> hypothesis;
the buffoonery does not occur.
$hypothesis$ = the fact that if the launching does not occur the fact that the uptick occurs and the tearlessness happens does not hold is false. ; $context$ = sent1: if the flashover does not occur both the uptick and the tearlessness happens. sent2: the emending ageratum does not occur. sent3: if the flashover occurs the urticating Hippobosca does not occur and/or the sexiness occurs. sent4: that the urticating Hippobosca does not occur or the sexiness or both results in the launching. sent5: that the launching occurs is not incorrect if the sexiness happens. sent6: that not the launching but the flashover occurs prevents that the buffoonery occurs. sent7: that the launching does not occur triggers that the uptick and the tearlessness happens. sent8: the fact that the uptick and the tearlessness occurs does not hold if the flashover does not occur. sent9: the cabinetwork does not occur or the emending pardoner happens or both. sent10: that both the uptick and the tearlessness occurs is not true if the launching happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the flashover occurs is not false.; sent3 & assump1 -> int1: the urticating Hippobosca does not occur and/or the sexiness occurs.; int1 & sent4 -> int2: the fact that the launching occurs is not wrong.; void -> assump2: Let's assume that the launching does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flashover does not occur.; int4 & sent8 -> int5: the fact that both the uptick and the tearlessness happens is false.; [assump2] & int5 -> hypothesis; __DISPROVED__