the fact that the peripeteia occurs if the chopper happens is not true.
sent1: the mistreatment does not occur. sent2: the ceremony does not occur. sent3: the drudgery happens. sent4: the knowableness occurs and the hooflikeness occurs. sent5: if the pop-up does not occur then the juicelessness does not occur. sent6: if the trephination and the sacrament happens that the straining Sparidae does not occur is correct. sent7: that the incongruentness occurs is not wrong. sent8: that the chopper and the Olympicness occurs results in that the haymaker does not occur. sent9: the blowout happens. sent10: that the incongruentness occurs is prevented by that the haymaker does not occur. sent11: the peripeteia occurs if the Olympicness does not occur. sent12: the jousting does not occur. sent13: the airing happens.
void -> assump1: Let's assume that the fact that the chopper happens is correct.; void -> assump2: Let's assume that the Olympicness occurs.; assump1 & assump2 -> int1: both the chopper and the Olympicness happens.; int1 & sent8 -> int2: that the haymaker does not occur is correct.; int2 & sent10 -> int3: the incongruentness does not occur.; int3 & sent7 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Olympicness does not occur.; int5 & sent11 -> int6: the peripeteia occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the peripeteia occurs if the chopper happens is not true. ; $context$ = sent1: the mistreatment does not occur. sent2: the ceremony does not occur. sent3: the drudgery happens. sent4: the knowableness occurs and the hooflikeness occurs. sent5: if the pop-up does not occur then the juicelessness does not occur. sent6: if the trephination and the sacrament happens that the straining Sparidae does not occur is correct. sent7: that the incongruentness occurs is not wrong. sent8: that the chopper and the Olympicness occurs results in that the haymaker does not occur. sent9: the blowout happens. sent10: that the incongruentness occurs is prevented by that the haymaker does not occur. sent11: the peripeteia occurs if the Olympicness does not occur. sent12: the jousting does not occur. sent13: the airing happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the chopper happens is correct.; void -> assump2: Let's assume that the Olympicness occurs.; assump1 & assump2 -> int1: both the chopper and the Olympicness happens.; int1 & sent8 -> int2: that the haymaker does not occur is correct.; int2 & sent10 -> int3: the incongruentness does not occur.; int3 & sent7 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Olympicness does not occur.; int5 & sent11 -> int6: the peripeteia occurs.; [assump1] & int6 -> hypothesis; __DISPROVED__