そのぴねぴえLv.45は赤黒くない
fact1: 若くないモンスターは心許なくなくて漂い始めない fact2: もしも「そのぽいぽにゃLv.69は若くないかまたは心許ないか両方である」ということは成り立たないとしたらそのぽいぽにゃLv.69は漂い始めない fact3: あるモンスターが漂い始めないとしたら退色し易いが返信しない fact4: 仮にそのもよもちゃLv.34が漂い始めるとしたらそのぴねぴえLv.45は赤黒い fact5: 「そのぽいぽにゃLv.69は若くないかもしくはそれは心許ない」ということは本当でない fact6: 仮にそのぽいぽにゃLv.69が退色し易いがしかしそれが返信するということはないとしたらそのぴねぴえLv.45は赤黒くない
fact3 -> int1: 仮にそのぽいぽにゃLv.69が漂い始めないとするとそのぽいぽにゃLv.69は退色し易い一方で返信しない; fact5 & fact2 -> int2: そのぽいぽにゃLv.69は漂い始めない; int1 & int2 -> int3: そのぽいぽにゃLv.69は退色し易いが返信しない; int3 & fact6 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact5 & fact2 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 & fact6 -> hypothesis;
そのぴねぴえLv.45は赤黒い
fact8 -> int4: もしもそのぷにゅぷわLv.33が若いということはないとすれば心許なくないし漂い始めない;
$facts$ = fact1: 若くないモンスターは心許なくなくて漂い始めない fact2: もしも「そのぽいぽにゃLv.69は若くないかまたは心許ないか両方である」ということは成り立たないとしたらそのぽいぽにゃLv.69は漂い始めない fact3: あるモンスターが漂い始めないとしたら退色し易いが返信しない fact4: 仮にそのもよもちゃLv.34が漂い始めるとしたらそのぴねぴえLv.45は赤黒い fact5: 「そのぽいぽにゃLv.69は若くないかもしくはそれは心許ない」ということは本当でない fact6: 仮にそのぽいぽにゃLv.69が退色し易いがしかしそれが返信するということはないとしたらそのぴねぴえLv.45は赤黒くない ; $hypothesis$ = そのぴねぴえLv.45は赤黒くない ; $proof$ = 
fact3 -> int1: 仮にそのぽいぽにゃLv.69が漂い始めないとするとそのぽいぽにゃLv.69は退色し易い一方で返信しない; fact5 & fact2 -> int2: そのぽいぽにゃLv.69は漂い始めない; int1 & int2 -> int3: そのぽいぽにゃLv.69は退色し易いが返信しない; int3 & fact6 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact5 & fact2 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 & fact6 -> hypothesis; __PROVED__