このみにゅみえLv.16は屠殺しない
fact1: もし仮にあのぴちゃぴのLv.33が馬鹿らしくないとすればまびくし荒っぽい fact2: 仮になんらかのモンスターが謀殺するとしたら屠殺する fact3: あのもちゃもちゃLv.51が荒っぽいとすればあのもちゃもちゃLv.51は馬鹿らしいということはない fact4: あのもちゃもちゃLv.51はまびく fact5: あのぴちゃぴのLv.33が馬鹿らしいし寒しなら「このみにゅみえLv.16は屠殺しない」ということは間違っているということはない fact6: 仮にあのもちゃもちゃLv.51は荒っぽくないとしたら「あのぴちゃぴのLv.33は馬鹿らしい」ということは本当だ fact7: あのもちゃもちゃLv.51が謀殺するかもしくはそれがまびくとしたらあのもちゃもちゃLv.51は荒っぽくない fact8: あのぴちゃぴのLv.33は寒し fact9: もしこのみにゅみえLv.16が荒っぽくないならばそれは謀殺するしさらにまびく
fact4 -> int1: あのもちゃもちゃLv.51は謀殺するかもしくはまびく; int1 & fact7 -> int2: あのもちゃもちゃLv.51は荒っぽくない; int2 & fact6 -> int3: あのぴちゃぴのLv.33は馬鹿らしい; int3 & fact8 -> int4: あのぴちゃぴのLv.33が馬鹿らしいしその上寒し; int4 & fact5 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact6 -> int3: {D}{b}; int3 & fact8 -> int4: ({D}{b} & {E}{b}); int4 & fact5 -> hypothesis;
あのぴちゃぴのLv.33は謀殺する
$facts$ = fact1: もし仮にあのぴちゃぴのLv.33が馬鹿らしくないとすればまびくし荒っぽい fact2: 仮になんらかのモンスターが謀殺するとしたら屠殺する fact3: あのもちゃもちゃLv.51が荒っぽいとすればあのもちゃもちゃLv.51は馬鹿らしいということはない fact4: あのもちゃもちゃLv.51はまびく fact5: あのぴちゃぴのLv.33が馬鹿らしいし寒しなら「このみにゅみえLv.16は屠殺しない」ということは間違っているということはない fact6: 仮にあのもちゃもちゃLv.51は荒っぽくないとしたら「あのぴちゃぴのLv.33は馬鹿らしい」ということは本当だ fact7: あのもちゃもちゃLv.51が謀殺するかもしくはそれがまびくとしたらあのもちゃもちゃLv.51は荒っぽくない fact8: あのぴちゃぴのLv.33は寒し fact9: もしこのみにゅみえLv.16が荒っぽくないならばそれは謀殺するしさらにまびく ; $hypothesis$ = このみにゅみえLv.16は屠殺しない ; $proof$ = 
fact4 -> int1: あのもちゃもちゃLv.51は謀殺するかもしくはまびく; int1 & fact7 -> int2: あのもちゃもちゃLv.51は荒っぽくない; int2 & fact6 -> int3: あのぴちゃぴのLv.33は馬鹿らしい; int3 & fact8 -> int4: あのぴちゃぴのLv.33が馬鹿らしいしその上寒し; int4 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact6 -> int3: {D}{b}; int3 & fact8 -> int4: ({D}{b} & {E}{b}); int4 & fact5 -> hypothesis; __PROVED__