恨みがましいということは起こらない
fact1: ぴなぴえLv.25事件が起きる fact2: もし仮に「まちゅまやLv.87事件が起きなくて恨みがましいということは発生する」ということは成り立たないとすると恨みがましいということは起きない fact3: 皮肉っぽいということは「高しということは発生しない」ということを阻む fact4: ぴなぴえLv.25事件が起こるということは「恨みがましいということは発生しない」ということを阻止する fact5: 仮に「高しということが起きる」ということは確かであるなら「まちゅまやLv.87事件が発生しないけど恨みがましいということは発生する」ということは真実でない
fact1 -> int1: ぴなぴえLv.25事件が起きる; int1 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact4 -> hypothesis;
心変わりすることが発生する
$facts$ = fact1: ぴなぴえLv.25事件が起きる fact2: もし仮に「まちゅまやLv.87事件が起きなくて恨みがましいということは発生する」ということは成り立たないとすると恨みがましいということは起きない fact3: 皮肉っぽいということは「高しということは発生しない」ということを阻む fact4: ぴなぴえLv.25事件が起こるということは「恨みがましいということは発生しない」ということを阻止する fact5: 仮に「高しということが起きる」ということは確かであるなら「まちゅまやLv.87事件が発生しないけど恨みがましいということは発生する」ということは真実でない ; $hypothesis$ = 恨みがましいということは起こらない ; $proof$ = 
fact1 -> int1: ぴなぴえLv.25事件が起きる; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact4 -> hypothesis; __DISPROVED__