the violation does not occur.
sent1: if the fact that the tenderization and the liquefying psychodid occurs is wrong the flatbed does not occur. sent2: both the liquefying pleurisy and the fluff occurs. sent3: if that the postponement and the meridianness happens is incorrect the leg-pull does not occur. sent4: the doubling does not occur. sent5: the thelarche occurs and the fluff happens. sent6: if the elbowing does not occur the violation happens. sent7: the violation does not occur if the fact that the unsexiness and the tolling happens is false. sent8: that the shopping does not occur is caused by that the gregariousness occurs and/or the leg-pull does not occur. sent9: the bacteriologicalness does not occur. sent10: if the fact that the unsexiness does not occur and the tolling happens is not right then the elbowing does not occur. sent11: that both the pro-choiceness and the mesialness occurs is false if that the call-out does not occur is right. sent12: the quarrelling does not occur if the picketing occurs. sent13: if the fact that both the pro-choiceness and the mesialness occurs does not hold then the Dionysia does not occur. sent14: that the pandering does not occur is correct. sent15: that the fact that the postponement occurs and the meridian happens hold is false if the unsexiness does not occur. sent16: if the unerectness does not occur the quadraphonicness does not occur. sent17: the fact that the call-out does not occur hold. sent18: that the pickings and the disciplinariness happens is not correct. sent19: the fact that that the unsexiness and the tolling happens hold does not hold if the postponement does not occur. sent20: both the shopping and the mushing jagged happens if the Dionysia does not occur.
void -> assump1: Let's assume that the unsexiness does not occur and the toll happens.; assump1 -> int1: the unsexiness does not occur.; int1 & sent15 -> int2: the fact that the postponement and the meridian occurs is not right.; int2 & sent3 -> int3: the leg-pull does not occur.; int3 -> int4: either the gregariousness occurs or the leg-pull does not occur or both.; int4 & sent8 -> int5: the shopping does not occur.; sent11 & sent17 -> int6: the fact that that the pro-choiceness happens and the mesialness occurs is not correct is correct.; sent13 & int6 -> int7: the Dionysia does not occur.; sent20 & int7 -> int8: the shopping happens and the mushing jagged occurs.; int8 -> int9: the shopping occurs.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the fact that the non-unsexiness and the tolling occurs does not hold.; int11 & sent10 -> int12: that the elbowing does not occur is correct.; int12 & sent6 -> hypothesis;
the violation does not occur.
$hypothesis$ = the violation does not occur. ; $context$ = sent1: if the fact that the tenderization and the liquefying psychodid occurs is wrong the flatbed does not occur. sent2: both the liquefying pleurisy and the fluff occurs. sent3: if that the postponement and the meridianness happens is incorrect the leg-pull does not occur. sent4: the doubling does not occur. sent5: the thelarche occurs and the fluff happens. sent6: if the elbowing does not occur the violation happens. sent7: the violation does not occur if the fact that the unsexiness and the tolling happens is false. sent8: that the shopping does not occur is caused by that the gregariousness occurs and/or the leg-pull does not occur. sent9: the bacteriologicalness does not occur. sent10: if the fact that the unsexiness does not occur and the tolling happens is not right then the elbowing does not occur. sent11: that both the pro-choiceness and the mesialness occurs is false if that the call-out does not occur is right. sent12: the quarrelling does not occur if the picketing occurs. sent13: if the fact that both the pro-choiceness and the mesialness occurs does not hold then the Dionysia does not occur. sent14: that the pandering does not occur is correct. sent15: that the fact that the postponement occurs and the meridian happens hold is false if the unsexiness does not occur. sent16: if the unerectness does not occur the quadraphonicness does not occur. sent17: the fact that the call-out does not occur hold. sent18: that the pickings and the disciplinariness happens is not correct. sent19: the fact that that the unsexiness and the tolling happens hold does not hold if the postponement does not occur. sent20: both the shopping and the mushing jagged happens if the Dionysia does not occur. ; $proof$ = 
void -> assump1: Let's assume that the unsexiness does not occur and the toll happens.; assump1 -> int1: the unsexiness does not occur.; int1 & sent15 -> int2: the fact that the postponement and the meridian occurs is not right.; int2 & sent3 -> int3: the leg-pull does not occur.; int3 -> int4: either the gregariousness occurs or the leg-pull does not occur or both.; int4 & sent8 -> int5: the shopping does not occur.; sent11 & sent17 -> int6: the fact that that the pro-choiceness happens and the mesialness occurs is not correct is correct.; sent13 & int6 -> int7: the Dionysia does not occur.; sent20 & int7 -> int8: the shopping happens and the mushing jagged occurs.; int8 -> int9: the shopping occurs.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the fact that the non-unsexiness and the tolling occurs does not hold.; int11 & sent10 -> int12: that the elbowing does not occur is correct.; int12 & sent6 -> hypothesis; __DISPROVED__