ぷにゃぷにLv.3事件は起きない
fact1: 掲載することとまにゃまわLv.47事件が起きる fact2: 掲載することが起こる fact3: もし掲載することは起きないならば「ぷにゃぷにLv.3事件が起きるしまにゃまわLv.47事件は発生しない」ということは事実と異なる fact4: ぷにゃぷにLv.3事件がまにゃまわLv.47事件は契機だ fact5: ぷなぷなLv.60事件が起こるということはまなまわLv.71事件により発生する
fact1 -> int1: まにゃまわLv.47事件が発生する; int1 & fact4 -> hypothesis;
fact1 -> int1: {B}; int1 & fact4 -> hypothesis;
ぷにゃぷにLv.3事件は起きない
$facts$ = fact1: 掲載することとまにゃまわLv.47事件が起きる fact2: 掲載することが起こる fact3: もし掲載することは起きないならば「ぷにゃぷにLv.3事件が起きるしまにゃまわLv.47事件は発生しない」ということは事実と異なる fact4: ぷにゃぷにLv.3事件がまにゃまわLv.47事件は契機だ fact5: ぷなぷなLv.60事件が起こるということはまなまわLv.71事件により発生する ; $hypothesis$ = ぷにゃぷにLv.3事件は起きない ; $proof$ = 
fact1 -> int1: まにゃまわLv.47事件が発生する; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact4 -> hypothesis; __DISPROVED__