みにゃみいLv.67事件が起こる
fact1: 黄色っぽいということは発生しなくてまたぴのぴえLv.91事件は発生しない fact2: もし仮に黄色っぽいということは生じなくてぴのぴえLv.91事件が生じないとするとみにゃみいLv.67事件は生じない fact3: 「黄色っぽいということは発生するしぴのぴえLv.91事件は生じない」ということは「みにゃみいLv.67事件は起きない」ということに帰結する fact4: 組織出来ることは生じないとしたらみにゃみいLv.67事件とまちゃまくLv.10事件が生じる
fact1 -> int1: 黄色っぽいということは発生しなくてまたぴのぴえLv.91事件は発生しない; int1 & fact2 -> hypothesis;
fact1 -> int1: (¬{AA} & ¬{AB}); int1 & fact2 -> hypothesis;
みにゃみいLv.67事件が起こる
$facts$ = fact1: 黄色っぽいということは発生しなくてまたぴのぴえLv.91事件は発生しない fact2: もし仮に黄色っぽいということは生じなくてぴのぴえLv.91事件が生じないとするとみにゃみいLv.67事件は生じない fact3: 「黄色っぽいということは発生するしぴのぴえLv.91事件は生じない」ということは「みにゃみいLv.67事件は起きない」ということに帰結する fact4: 組織出来ることは生じないとしたらみにゃみいLv.67事件とまちゃまくLv.10事件が生じる ; $hypothesis$ = みにゃみいLv.67事件が起こる ; $proof$ = 
fact1 -> int1: 黄色っぽいということは発生しなくてまたぴのぴえLv.91事件は発生しない; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{AA} & ¬{AB}); int1 & fact2 -> hypothesis; __DISPROVED__