憎しということが生じる
fact1: ぽにぽにゃLv.24事件が発生する fact2: ぽにょぽちゅLv.92事件が生じるが書き込みすることは起きない fact3: 「憎しということが生じる」ということはもにゅもにLv.34事件と小汚いということが発生するに防がれる fact4: 小汚いということが発生する fact5: ぽにぽにゃLv.24事件が発生するしそれにもにゅもにLv.34事件が生じる fact6: 「正しいということが起こる」ということは本当だ fact7: 物らしいということが生じる fact8: 「僻みっぽいということが起きるしもにゃもわLv.42事件が生じる」ということは成り立つ
fact5 -> int1: 「もにゅもにLv.34事件が発生する」ということは正しい; int1 & fact4 -> int2: もにゅもにLv.34事件と小汚いということが生じる; int2 & fact3 -> hypothesis;
fact5 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
ぽにょぽちゅLv.92事件が生じるし事切れることが起きる
fact9 -> int3: ぽにょぽちゅLv.92事件が起こる;
$facts$ = fact1: ぽにぽにゃLv.24事件が発生する fact2: ぽにょぽちゅLv.92事件が生じるが書き込みすることは起きない fact3: 「憎しということが生じる」ということはもにゅもにLv.34事件と小汚いということが発生するに防がれる fact4: 小汚いということが発生する fact5: ぽにぽにゃLv.24事件が発生するしそれにもにゅもにLv.34事件が生じる fact6: 「正しいということが起こる」ということは本当だ fact7: 物らしいということが生じる fact8: 「僻みっぽいということが起きるしもにゃもわLv.42事件が生じる」ということは成り立つ ; $hypothesis$ = 憎しということが生じる ; $proof$ = 
fact5 -> int1: 「もにゅもにLv.34事件が発生する」ということは正しい; int1 & fact4 -> int2: もにゅもにLv.34事件と小汚いということが生じる; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__