宿直することが起こる
fact1: まにまにゃLv.78事件およびぴなぴえLv.76事件が起こるは宿直することは起きないということを発生させる fact2: まえまにゃLv.38事件が生じるしかつまにまにゃLv.78事件が起こる fact3: もしもまにまにゃLv.78事件は発生しないなら宿直することが生じるしまえまにゃLv.38事件が起こる fact4: ぴなぴえLv.76事件が起きる fact5: 軽ーいということが生じるし更に記憶することが発生する fact6: まえまにゃLv.38事件が起きる
fact2 -> int1: 「まにまにゃLv.78事件が発生する」ということは本当である; int1 & fact4 -> int2: まにまにゃLv.78事件とぴなぴえLv.76事件どちらもが生じる; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
宿直することが起こる
$facts$ = fact1: まにまにゃLv.78事件およびぴなぴえLv.76事件が起こるは宿直することは起きないということを発生させる fact2: まえまにゃLv.38事件が生じるしかつまにまにゃLv.78事件が起こる fact3: もしもまにまにゃLv.78事件は発生しないなら宿直することが生じるしまえまにゃLv.38事件が起こる fact4: ぴなぴえLv.76事件が起きる fact5: 軽ーいということが生じるし更に記憶することが発生する fact6: まえまにゃLv.38事件が起きる ; $hypothesis$ = 宿直することが起こる ; $proof$ = 
fact2 -> int1: 「まにまにゃLv.78事件が発生する」ということは本当である; int1 & fact4 -> int2: まにまにゃLv.78事件とぴなぴえLv.76事件どちらもが生じる; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__