灌水することが起きる
fact1: 処罰することが起きる fact2: 仮にぽちゅぽにゅLv.23事件は発生しないとしたら「ぷにゅぷねLv.78事件ではなくてぴくぴゆLv.94事件が起こる」ということは嘘である fact3: ぽちゅぽにゅLv.23事件が発生する fact4: ぴくぴゆLv.94事件とぽちゅぽにゅLv.23事件が生じるは灌水することは起きないということを生じさせる fact5: ぴくぴゆLv.94事件と処罰すること両方ともが発生する fact6: 仮に「ぷにゅぷねLv.78事件は発生しないしぴくぴゆLv.94事件が生じる」ということは成り立たないとすると「ぷにゅぷねLv.78事件が起きる」ということは本当である fact7: 活動出来ることが起こる
fact5 -> int1: ぴくぴゆLv.94事件が生じる; int1 & fact3 -> int2: ぴくぴゆLv.94事件が発生するしまたぽちゅぽにゅLv.23事件が起こる; int2 & fact4 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
ぷにゅぷねLv.78事件が生じるしまたもえもえLv.64事件が起こる
$facts$ = fact1: 処罰することが起きる fact2: 仮にぽちゅぽにゅLv.23事件は発生しないとしたら「ぷにゅぷねLv.78事件ではなくてぴくぴゆLv.94事件が起こる」ということは嘘である fact3: ぽちゅぽにゅLv.23事件が発生する fact4: ぴくぴゆLv.94事件とぽちゅぽにゅLv.23事件が生じるは灌水することは起きないということを生じさせる fact5: ぴくぴゆLv.94事件と処罰すること両方ともが発生する fact6: 仮に「ぷにゅぷねLv.78事件は発生しないしぴくぴゆLv.94事件が生じる」ということは成り立たないとすると「ぷにゅぷねLv.78事件が起きる」ということは本当である fact7: 活動出来ることが起こる ; $hypothesis$ = 灌水することが起きる ; $proof$ = 
fact5 -> int1: ぴくぴゆLv.94事件が生じる; int1 & fact3 -> int2: ぴくぴゆLv.94事件が発生するしまたぽちゅぽにゅLv.23事件が起こる; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __DISPROVED__