that if the rioting shimmy occurs then the strangulation happens does not hold.
sent1: the fact that the convulsion occurs and the rioting Leon occurs is not correct. sent2: the deposition occurs. sent3: the rioting shimmy occurs and the strangulation does not occur if the rioting retrospection happens. sent4: the runup happens and the rioting retrospection happens if the precancerousness does not occur. sent5: if the fact that the rioting lumpectomy does not occur and the runup happens is incorrect then the masochisticness does not occur. sent6: if that not the convulsion but the rioting Leon happens is not true then the rioting shimmy does not occur. sent7: if the rioting shimmy happens and the strangulation does not occur the loft does not occur. sent8: that the fact that not the bleating but the ulnarness occurs does not hold is not wrong. sent9: if the strangulation does not occur then that the fact that the convulsion occurs and the rioting Leon happens is wrong is right. sent10: that both the evil and the masochisticness happens is incorrect if the rioting gaskin does not occur. sent11: if the deposition does not occur and the rioting branching does not occur then the hydropathy does not occur. sent12: the re-establishment does not occur. sent13: the deposition does not occur if the fact that the confabulating does not occur and the elocutionariness occurs does not hold. sent14: the organic does not occur. sent15: both the jolting and the leaching morphine happens if the fact that the hydropathy does not occur is correct. sent16: the witching happens if the jolt happens. sent17: the non-precancerousness and the cultivating occurs if the witching occurs. sent18: if the roads happens the informationalness happens. sent19: the fact that the rioting shimmy does not occur is not false if the convulsion happens. sent20: the rioting shimmy happens if the fact that that the convulsion does not occur and the rioting Leon happens does not hold is right. sent21: the fact that the fact that not the convulsion but the rioting Leon happens is false is not incorrect if the strangulation does not occur. sent22: if the fact that the evilness and the masochisticness occurs is incorrect then the deposition does not occur.
void -> assump1: Let's assume that the rioting shimmy happens.; void -> assump2: Let's assume that the strangulation does not occur.; sent21 & assump2 -> int1: the fact that the convulsion does not occur but the rioting Leon occurs is wrong.; sent6 & int1 -> int2: that the rioting shimmy does not occur is not wrong.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the strangulation happens.; [assump1] & int4 -> hypothesis;
the loft does not occur.
$hypothesis$ = that if the rioting shimmy occurs then the strangulation happens does not hold. ; $context$ = sent1: the fact that the convulsion occurs and the rioting Leon occurs is not correct. sent2: the deposition occurs. sent3: the rioting shimmy occurs and the strangulation does not occur if the rioting retrospection happens. sent4: the runup happens and the rioting retrospection happens if the precancerousness does not occur. sent5: if the fact that the rioting lumpectomy does not occur and the runup happens is incorrect then the masochisticness does not occur. sent6: if that not the convulsion but the rioting Leon happens is not true then the rioting shimmy does not occur. sent7: if the rioting shimmy happens and the strangulation does not occur the loft does not occur. sent8: that the fact that not the bleating but the ulnarness occurs does not hold is not wrong. sent9: if the strangulation does not occur then that the fact that the convulsion occurs and the rioting Leon happens is wrong is right. sent10: that both the evil and the masochisticness happens is incorrect if the rioting gaskin does not occur. sent11: if the deposition does not occur and the rioting branching does not occur then the hydropathy does not occur. sent12: the re-establishment does not occur. sent13: the deposition does not occur if the fact that the confabulating does not occur and the elocutionariness occurs does not hold. sent14: the organic does not occur. sent15: both the jolting and the leaching morphine happens if the fact that the hydropathy does not occur is correct. sent16: the witching happens if the jolt happens. sent17: the non-precancerousness and the cultivating occurs if the witching occurs. sent18: if the roads happens the informationalness happens. sent19: the fact that the rioting shimmy does not occur is not false if the convulsion happens. sent20: the rioting shimmy happens if the fact that that the convulsion does not occur and the rioting Leon happens does not hold is right. sent21: the fact that the fact that not the convulsion but the rioting Leon happens is false is not incorrect if the strangulation does not occur. sent22: if the fact that the evilness and the masochisticness occurs is incorrect then the deposition does not occur. ; $proof$ = 
void -> assump1: Let's assume that the rioting shimmy happens.; void -> assump2: Let's assume that the strangulation does not occur.; sent21 & assump2 -> int1: the fact that the convulsion does not occur but the rioting Leon occurs is wrong.; sent6 & int1 -> int2: that the rioting shimmy does not occur is not wrong.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the strangulation happens.; [assump1] & int4 -> hypothesis; __DISPROVED__