the disposable does not occur.
sent1: the fact that the rewarding griddlecake does not occur is wrong if the pegging Patwin happens. sent2: the machine-madeness happens. sent3: if that the preventing but not the pegging Patwin occurs does not hold the rewarding griddlecake occurs. sent4: if the rewarding griddlecake happens the disposableness occurs. sent5: the augiticness occurs if that the machine-madeness does not occur and the high-low-jack does not occur is incorrect. sent6: that the preventing but not the pegging Patwin happens is not correct if the augiticness happens.
void -> assump1: Let's assume that the machine-madeness does not occur and the high-low-jack does not occur.; assump1 -> int1: that the machine-madeness does not occur is not false.; sent2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the machine-madeness does not occur and the high-low-jack does not occur is not true.; sent5 & int3 -> int4: the augiticness occurs.; sent6 & int4 -> int5: that the preventing but not the pegging Patwin happens is not correct.; sent3 & int5 -> int6: the rewarding griddlecake happens.; sent4 & int6 -> hypothesis;
$hypothesis$ = the disposable does not occur. ; $context$ = sent1: the fact that the rewarding griddlecake does not occur is wrong if the pegging Patwin happens. sent2: the machine-madeness happens. sent3: if that the preventing but not the pegging Patwin occurs does not hold the rewarding griddlecake occurs. sent4: if the rewarding griddlecake happens the disposableness occurs. sent5: the augiticness occurs if that the machine-madeness does not occur and the high-low-jack does not occur is incorrect. sent6: that the preventing but not the pegging Patwin happens is not correct if the augiticness happens. ; $proof$ = 
void -> assump1: Let's assume that the machine-madeness does not occur and the high-low-jack does not occur.; assump1 -> int1: that the machine-madeness does not occur is not false.; sent2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the machine-madeness does not occur and the high-low-jack does not occur is not true.; sent5 & int3 -> int4: the augiticness occurs.; sent6 & int4 -> int5: that the preventing but not the pegging Patwin happens is not correct.; sent3 & int5 -> int6: the rewarding griddlecake happens.; sent4 & int6 -> hypothesis; __DISPROVED__