「美味しいということかまたはもゆもくLv.93事件が起こる」ということは成り立たない
fact1: もゆもくLv.93事件が生じる fact2: ぽねぽいLv.42事件が起きるかもしくは漕ぎ続けることが生じるかあるいは両方ともである fact3: 「みちゃみゆLv.76事件が起こるかあるいは楽しということが発生するかあるいは両方ともだ」ということは本当だ fact4: 「みえみねLv.7事件かまたはぽわぽちゅLv.33事件が起こる」ということは真実だ fact5: 尽くし難いということが起きるかぴちょぴいLv.90事件が起きる fact6: まにゅまのLv.98事件が起こるかもしくは利用され易いということが生じる
fact1 -> int1: もゆもくLv.93事件が生じる; int1 -> hypothesis;
fact1 -> int1: {A}; int1 -> hypothesis;
$facts$ = fact1: もゆもくLv.93事件が生じる fact2: ぽねぽいLv.42事件が起きるかもしくは漕ぎ続けることが生じるかあるいは両方ともである fact3: 「みちゃみゆLv.76事件が起こるかあるいは楽しということが発生するかあるいは両方ともだ」ということは本当だ fact4: 「みえみねLv.7事件かまたはぽわぽちゅLv.33事件が起こる」ということは真実だ fact5: 尽くし難いということが起きるかぴちょぴいLv.90事件が起きる fact6: まにゅまのLv.98事件が起こるかもしくは利用され易いということが生じる ; $hypothesis$ = 「美味しいということかまたはもゆもくLv.93事件が起こる」ということは成り立たない ; $proof$ = 
fact1 -> int1: もゆもくLv.93事件が生じる; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 -> hypothesis; __DISPROVED__