あのみにゃみにLv.33は迷い易い
fact1: 仮にあるモンスターがちゃわないならそれは後らしくない fact2: そのぽやぽえLv.79は後らしいということはない fact3: もしもそのぽやぽえLv.79が混同し易くないとすればそのまにまにLv.65はちゃうけれどそれは混同し易くない fact4: もしもそのまにまにLv.65がちゃうがしかし混同し易くないとするとあのみにゃみにLv.33は迷い易い fact5: そのぽやぽえLv.79は混同し易くなくて後らしくない fact6: もしもそのぽやぽえLv.79が混同し易くないとするとそのまにまにLv.65はちゃう
fact5 -> int1: そのぽやぽえLv.79は混同し易くない; int1 & fact3 -> int2: そのまにまにLv.65はちゃう一方で混同し易くない; int2 & fact4 -> hypothesis;
fact5 -> int1: ¬{A}{a}; int1 & fact3 -> int2: ({C}{b} & ¬{A}{b}); int2 & fact4 -> hypothesis;
そのぴよぴゆLv.76は可愛いけど混同し易くない
fact7 -> int3: 仮に「そのぴよぴゆLv.76はちゃわない」ということは成り立つとするとそれは後らしくない;
$facts$ = fact1: 仮にあるモンスターがちゃわないならそれは後らしくない fact2: そのぽやぽえLv.79は後らしいということはない fact3: もしもそのぽやぽえLv.79が混同し易くないとすればそのまにまにLv.65はちゃうけれどそれは混同し易くない fact4: もしもそのまにまにLv.65がちゃうがしかし混同し易くないとするとあのみにゃみにLv.33は迷い易い fact5: そのぽやぽえLv.79は混同し易くなくて後らしくない fact6: もしもそのぽやぽえLv.79が混同し易くないとするとそのまにまにLv.65はちゃう ; $hypothesis$ = あのみにゃみにLv.33は迷い易い ; $proof$ = 
fact5 -> int1: そのぽやぽえLv.79は混同し易くない; int1 & fact3 -> int2: そのまにまにLv.65はちゃう一方で混同し易くない; int2 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: ¬{A}{a}; int1 & fact3 -> int2: ({C}{b} & ¬{A}{b}); int2 & fact4 -> hypothesis; __PROVED__