the rattling does not occur.
sent1: either the microelectronicness does not occur or the red-eyeing happens or both. sent2: if that the rarefaction does not occur but the manhandling Spartan occurs is not right then the unactableness happens. sent3: the lockout does not occur. sent4: that the backhand does not occur is not wrong. sent5: the framing occurs if that the adding Dubai does not occur but the adding hardship happens is not right. sent6: if the red-eyeing occurs then that the adding Dubai does not occur but the adding hardship happens is not correct. sent7: if the lockout does not occur the severalizing numdah happens. sent8: the aftness happens. sent9: the adding disfluency does not occur. sent10: that the adding enol does not occur and the pornography occurs does not hold. sent11: the severalizing numdah occurs. sent12: either the microelectronicness occurs or the red-eyeing does not occur or both. sent13: the adding merited happens. sent14: that the adding hardship does not occur prevents that the framing does not occur. sent15: if the fact that the lockout does not occur is right the framing does not occur but the severalizing numdah happens. sent16: the rattle is prevented by either that the microelectronicness does not occur or that the red-eyeing does not occur or both.
void -> assump1: Let's assume that the red-eyeing happens.; sent6 & assump1 -> int1: that not the adding Dubai but the adding hardship occurs is incorrect.; int1 & sent5 -> int2: the framing happens.; sent15 & sent3 -> int3: the framing does not occur but the severalizing numdah occurs.; int3 -> int4: the framing does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the red-eyeing does not occur.; int6 -> int7: the microelectronicness does not occur and/or the red-eyeing does not occur.; int7 & sent16 -> hypothesis;
$hypothesis$ = the rattling does not occur. ; $context$ = sent1: either the microelectronicness does not occur or the red-eyeing happens or both. sent2: if that the rarefaction does not occur but the manhandling Spartan occurs is not right then the unactableness happens. sent3: the lockout does not occur. sent4: that the backhand does not occur is not wrong. sent5: the framing occurs if that the adding Dubai does not occur but the adding hardship happens is not right. sent6: if the red-eyeing occurs then that the adding Dubai does not occur but the adding hardship happens is not correct. sent7: if the lockout does not occur the severalizing numdah happens. sent8: the aftness happens. sent9: the adding disfluency does not occur. sent10: that the adding enol does not occur and the pornography occurs does not hold. sent11: the severalizing numdah occurs. sent12: either the microelectronicness occurs or the red-eyeing does not occur or both. sent13: the adding merited happens. sent14: that the adding hardship does not occur prevents that the framing does not occur. sent15: if the fact that the lockout does not occur is right the framing does not occur but the severalizing numdah happens. sent16: the rattle is prevented by either that the microelectronicness does not occur or that the red-eyeing does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the red-eyeing happens.; sent6 & assump1 -> int1: that not the adding Dubai but the adding hardship occurs is incorrect.; int1 & sent5 -> int2: the framing happens.; sent15 & sent3 -> int3: the framing does not occur but the severalizing numdah occurs.; int3 -> int4: the framing does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the red-eyeing does not occur.; int6 -> int7: the microelectronicness does not occur and/or the red-eyeing does not occur.; int7 & sent16 -> hypothesis; __PROVED__