みにょみにLv.49事件が起こる
fact1: かったるいということはみにょみにLv.49事件を回避する fact2: もちゃもにLv.18事件とぽちゅぽにLv.89事件が起こる fact3: 飲み易いということはもちゃもにLv.18事件が原因だ fact4: ぽちゅぽにLv.89事件が発生する fact5: かったるいということかまたは飲み易いということは「みにょみにLv.49事件は生じない」ということを招く
fact2 -> int1: もちゃもにLv.18事件が生じる; int1 & fact3 -> int2: 飲み易いということが生じる; int2 -> int3: かったるいということかまたは飲み易いということか両方ともが起きる; int3 & fact5 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact5 -> hypothesis;
$facts$ = fact1: かったるいということはみにょみにLv.49事件を回避する fact2: もちゃもにLv.18事件とぽちゅぽにLv.89事件が起こる fact3: 飲み易いということはもちゃもにLv.18事件が原因だ fact4: ぽちゅぽにLv.89事件が発生する fact5: かったるいということかまたは飲み易いということは「みにょみにLv.49事件は生じない」ということを招く ; $hypothesis$ = みにょみにLv.49事件が起こる ; $proof$ = 
fact2 -> int1: もちゃもにLv.18事件が生じる; int1 & fact3 -> int2: 飲み易いということが生じる; int2 -> int3: かったるいということかまたは飲み易いということか両方ともが起きる; int3 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact3 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact5 -> hypothesis; __DISPROVED__