that either the opening or the non-Vedicness or both occurs if the nonattendance does not occur is wrong.
sent1: if that the marathon does not occur is true the asterismalness does not occur. sent2: if the fact that the open and/or the Vedicness occurs is not true then that the nonattendance occurs is not incorrect. sent3: the bankrupting escalator does not occur if that both the plantalness and the reinterpretation occurs is false. sent4: not the sarcolemmalness but the riffling headstand occurs if that the lockout does not occur is right. sent5: the IOP prevents that the lockout occurs. sent6: the marathon does not occur if the fact that the unsealing computer does not occur but the broil occurs does not hold. sent7: if the fact that either the opening happens or the Vedicness does not occur or both is false the nonattendance occurs. sent8: the unsealing noradrenaline triggers that the impaction occurs. sent9: if the asterismalness does not occur the unsealing noradrenaline and the nonattendance happens. sent10: if that the screwing and the abatement occurs is not correct the incandescence does not occur. sent11: if the sarcolemmalness does not occur that not the unsealing computer but the broil happens does not hold. sent12: that either the Tahitianness or the non-vigesimalness or both occurs is false. sent13: that the screw and the abatement happens is not correct if the bankrupting escalator does not occur. sent14: if the incandescence does not occur then the IOP happens and the bankrupting dancing happens.
void -> assump2: Let's assume that that either the open or the non-Vedicness or both happens is not correct.; sent7 & assump2 -> int1: the nonattendance happens.; void -> assump1: Let's assume that the nonattendance does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the opening occurs and/or the Vedicness does not occur is not false.; [assump1] & int3 -> hypothesis;
the impaction happens.
$hypothesis$ = that either the opening or the non-Vedicness or both occurs if the nonattendance does not occur is wrong. ; $context$ = sent1: if that the marathon does not occur is true the asterismalness does not occur. sent2: if the fact that the open and/or the Vedicness occurs is not true then that the nonattendance occurs is not incorrect. sent3: the bankrupting escalator does not occur if that both the plantalness and the reinterpretation occurs is false. sent4: not the sarcolemmalness but the riffling headstand occurs if that the lockout does not occur is right. sent5: the IOP prevents that the lockout occurs. sent6: the marathon does not occur if the fact that the unsealing computer does not occur but the broil occurs does not hold. sent7: if the fact that either the opening happens or the Vedicness does not occur or both is false the nonattendance occurs. sent8: the unsealing noradrenaline triggers that the impaction occurs. sent9: if the asterismalness does not occur the unsealing noradrenaline and the nonattendance happens. sent10: if that the screwing and the abatement occurs is not correct the incandescence does not occur. sent11: if the sarcolemmalness does not occur that not the unsealing computer but the broil happens does not hold. sent12: that either the Tahitianness or the non-vigesimalness or both occurs is false. sent13: that the screw and the abatement happens is not correct if the bankrupting escalator does not occur. sent14: if the incandescence does not occur then the IOP happens and the bankrupting dancing happens. ; $proof$ = 
void -> assump2: Let's assume that that either the open or the non-Vedicness or both happens is not correct.; sent7 & assump2 -> int1: the nonattendance happens.; void -> assump1: Let's assume that the nonattendance does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the opening occurs and/or the Vedicness does not occur is not false.; [assump1] & int3 -> hypothesis; __DISPROVED__