that the persecution happens if the drudgery does not occur is not right.
sent1: the warring happens if that the disembowelling bookshop does not occur is true. sent2: that the persecution does not occur and the drudgery does not occur is not correct. sent3: the wastefulness does not occur and the masking does not occur. sent4: the yielding harmattan happens if the marshalship happens. sent5: that the bruxism happens is triggered by that the stagflationariness does not occur. sent6: if the proclamation happens then the fact that the thrashing happens is right. sent7: the fact that the betulaceousness does not occur and the recitation does not occur is not true. sent8: the grounder occurs if the fact that the persecution does not occur and the grounder does not occur does not hold. sent9: the multiple-choiceness does not occur. sent10: the disembowelling mezzanine does not occur and the jobbing spar does not occur. sent11: the disembowelling tucked does not occur.
void -> assump2: Let's assume that that the persecution does not occur is not wrong.; void -> assump1: Let's assume that the drudgery does not occur.; assump2 & assump1 -> int1: the persecution does not occur and the drudgery does not occur.; int1 & sent2 -> int2: this is contradiction.; [assump2] & int2 -> int3: the persecution occurs.; [assump1] & int3 -> hypothesis;
the grounder occurs.
$hypothesis$ = that the persecution happens if the drudgery does not occur is not right. ; $context$ = sent1: the warring happens if that the disembowelling bookshop does not occur is true. sent2: that the persecution does not occur and the drudgery does not occur is not correct. sent3: the wastefulness does not occur and the masking does not occur. sent4: the yielding harmattan happens if the marshalship happens. sent5: that the bruxism happens is triggered by that the stagflationariness does not occur. sent6: if the proclamation happens then the fact that the thrashing happens is right. sent7: the fact that the betulaceousness does not occur and the recitation does not occur is not true. sent8: the grounder occurs if the fact that the persecution does not occur and the grounder does not occur does not hold. sent9: the multiple-choiceness does not occur. sent10: the disembowelling mezzanine does not occur and the jobbing spar does not occur. sent11: the disembowelling tucked does not occur. ; $proof$ = 
void -> assump2: Let's assume that that the persecution does not occur is not wrong.; void -> assump1: Let's assume that the drudgery does not occur.; assump2 & assump1 -> int1: the persecution does not occur and the drudgery does not occur.; int1 & sent2 -> int2: this is contradiction.; [assump2] & int2 -> int3: the persecution occurs.; [assump1] & int3 -> hypothesis; __DISPROVED__