そのぴなぴのLv.74は共存しない
fact1: もしもそのものもにLv.23が共存するとしたらそのぽよぽえLv.17は共存する fact2: 「そのぴなぴのLv.74は覚え難いかあるいはゲームする」ということは誤りだ fact3: 「あるモンスターは覚え難いかもしくはそれはゲームする」ということは成り立たないなら「それは共存しない」ということは確かである fact4: 壊れ易くないモンスターは共存するしかつ親しい fact5: もし仮に何らかのモンスターは未練がましいかあるいはゲームしないかまたは両方ともであるならゲームしない fact6: 仮にそのぽよぽえLv.17が共存するならそのぷちゃぷよLv.55は未練がましいかあるいはゲームしない
fact3 -> int1: もし仮に「そのぴなぴのLv.74は覚え難いかあるいはゲームする」ということは嘘なら「共存するということはない」ということは事実だ; int1 & fact2 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis;
「そのぷちゃぷよLv.55はゲームしない」ということは成り立つ
fact8 -> int2: もしそのぷちゃぷよLv.55は未練がましいかゲームしないかあるいは両方ともであるとするとゲームするということはない; fact7 -> int3: もしそのものもにLv.23が壊れ易くないとしたらそれは共存するし親しい;
$facts$ = fact1: もしもそのものもにLv.23が共存するとしたらそのぽよぽえLv.17は共存する fact2: 「そのぴなぴのLv.74は覚え難いかあるいはゲームする」ということは誤りだ fact3: 「あるモンスターは覚え難いかもしくはそれはゲームする」ということは成り立たないなら「それは共存しない」ということは確かである fact4: 壊れ易くないモンスターは共存するしかつ親しい fact5: もし仮に何らかのモンスターは未練がましいかあるいはゲームしないかまたは両方ともであるならゲームしない fact6: 仮にそのぽよぽえLv.17が共存するならそのぷちゃぷよLv.55は未練がましいかあるいはゲームしない ; $hypothesis$ = そのぴなぴのLv.74は共存しない ; $proof$ = 
fact3 -> int1: もし仮に「そのぴなぴのLv.74は覚え難いかあるいはゲームする」ということは嘘なら「共存するということはない」ということは事実だ; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: ¬({AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis; __PROVED__