that the battering occurs and the pegging Lindbergh occurs if the pegging mackerel does not occur does not hold.
sent1: that the battering happens and the pegging Lindbergh occurs is true if the pegging mackerel occurs. sent2: that not the hold-down but the existentialistness happens is triggered by the pegging mackerel. sent3: the pegging Lindbergh happens if the reverencing and the agrologicness occurs. sent4: that the battering occurs is caused by that the Bermudanness occurs. sent5: the hold-down does not occur. sent6: the hold-down does not occur if the pegging mackerel does not occur. sent7: if the existentialist happens then the reverencing does not occur but the agrologicness happens. sent8: the reverence does not occur. sent9: the pegging Lindbergh occurs if not the reverence but the agrologicness happens. sent10: that the pemphigousness occurs but the Bermudanness does not occur is false. sent11: the battering happens if that the pemphigousness but not the Bermudanness occurs is not right. sent12: that the pegging mackerel does not occur leads to that the hold-down does not occur but the existentialist happens.
void -> assump1: Let's assume that that the pegging mackerel does not occur is right.; sent12 & assump1 -> int1: the hold-down does not occur and the existentialistness happens.; int1 -> int2: the fact that the existentialist occurs is correct.; int2 & sent7 -> int3: the reverencing does not occur and the agrologicness happens.; int3 & sent9 -> int4: that the pegging Lindbergh occurs is not false.; sent11 & sent10 -> int5: the battering occurs.; int4 & int5 -> int6: both the battering and the pegging Lindbergh happens.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the battering occurs and the pegging Lindbergh occurs if the pegging mackerel does not occur does not hold. ; $context$ = sent1: that the battering happens and the pegging Lindbergh occurs is true if the pegging mackerel occurs. sent2: that not the hold-down but the existentialistness happens is triggered by the pegging mackerel. sent3: the pegging Lindbergh happens if the reverencing and the agrologicness occurs. sent4: that the battering occurs is caused by that the Bermudanness occurs. sent5: the hold-down does not occur. sent6: the hold-down does not occur if the pegging mackerel does not occur. sent7: if the existentialist happens then the reverencing does not occur but the agrologicness happens. sent8: the reverence does not occur. sent9: the pegging Lindbergh occurs if not the reverence but the agrologicness happens. sent10: that the pemphigousness occurs but the Bermudanness does not occur is false. sent11: the battering happens if that the pemphigousness but not the Bermudanness occurs is not right. sent12: that the pegging mackerel does not occur leads to that the hold-down does not occur but the existentialist happens. ; $proof$ = 
void -> assump1: Let's assume that that the pegging mackerel does not occur is right.; sent12 & assump1 -> int1: the hold-down does not occur and the existentialistness happens.; int1 -> int2: the fact that the existentialist occurs is correct.; int2 & sent7 -> int3: the reverencing does not occur and the agrologicness happens.; int3 & sent9 -> int4: that the pegging Lindbergh occurs is not false.; sent11 & sent10 -> int5: the battering occurs.; int4 & int5 -> int6: both the battering and the pegging Lindbergh happens.; [assump1] & int6 -> hypothesis; __DISPROVED__