「みにゃみにゃLv.56事件ではなくぷちゃぷゆLv.0事件が起きる」ということは偽である
fact1: 恙無いということが生じる fact2: ぽちゅぽくLv.11事件が起こるかまたは人懐こいということが発生するかあるいはどちらもである fact3: 黄色いということが発生する fact4: 「ぷちゃぷゆLv.0事件が発生する」ということは真実だ fact5: まよまよLv.99事件が起きる fact6: みなみにょLv.5事件が発生するということは疎ましいということを回避する fact7: まにゃまのLv.94事件が起こる fact8: みにゃみにゃLv.56事件は黄色いということかもしくはぴよぴのLv.59事件に防がれる
fact3 -> int1: 黄色いということが発生するかまたはぴよぴのLv.59事件が起きる; int1 & fact8 -> int2: みにゃみにゃLv.56事件は起きない; int2 & fact4 -> hypothesis;
fact3 -> int1: ({A} v {B}); int1 & fact8 -> int2: ¬{C}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 恙無いということが生じる fact2: ぽちゅぽくLv.11事件が起こるかまたは人懐こいということが発生するかあるいはどちらもである fact3: 黄色いということが発生する fact4: 「ぷちゃぷゆLv.0事件が発生する」ということは真実だ fact5: まよまよLv.99事件が起きる fact6: みなみにょLv.5事件が発生するということは疎ましいということを回避する fact7: まにゃまのLv.94事件が起こる fact8: みにゃみにゃLv.56事件は黄色いということかもしくはぴよぴのLv.59事件に防がれる ; $hypothesis$ = 「みにゃみにゃLv.56事件ではなくぷちゃぷゆLv.0事件が起きる」ということは偽である ; $proof$ = 
fact3 -> int1: 黄色いということが発生するかまたはぴよぴのLv.59事件が起きる; int1 & fact8 -> int2: みにゃみにゃLv.56事件は起きない; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A} v {B}); int1 & fact8 -> int2: ¬{C}; int2 & fact4 -> hypothesis; __DISPROVED__