このまくまのLv.70は事足りる
fact1: そのぷやぷにょLv.16は柔らかい fact2: もし仮にそのぷやぷにょLv.16が御掛けに成らないがしかしそれが柔らかいならこのまくまのLv.70は事足りない fact3: 「そのぷにゃぷにゃLv.97は落ち難くないけれどそれは自爆する」ということは事実であるということはない fact4: 「そのぷにゃぷにゃLv.97は落ち難くておまけに自爆する」ということは間違っている fact5: もし仮に「勝てない」モンスターがいるとすればそのぷやぷにょLv.16が事足りるしその上勝てる fact6: そのぽちゃぽくLv.6が掃除し易くないけれどそれが勝てるとするとこのぽよぽえLv.24は勝てるということはない fact7: 「柔らかいモンスターは掃除し易いということはないけど勝てる」ということは事実だ fact8: もし「あるモンスターは落ち難くないけど自爆する」ということは間違っていればそれは勝てない fact9: そのぷにゃぷにゃLv.97が勝てないとするとそのぷやぷにょLv.16は御掛けに成らない fact10: そのぽちゃぽくLv.6は柔らかい
fact8 -> int1: 仮に「そのぷにゃぷにゃLv.97は落ち難くないけど自爆する」ということは確かであるということはないならばそのぷにゃぷにゃLv.97は勝てない; int1 & fact3 -> int2: そのぷにゃぷにゃLv.97は勝てるということはない; int2 & fact9 -> int3: そのぷやぷにょLv.16は御掛けに成らない; int3 & fact1 -> int4: 「そのぷやぷにょLv.16は御掛けに成るということはないがそれは柔らかい」ということは真実である; int4 & fact2 -> hypothesis;
fact8 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact3 -> int2: ¬{B}{aa}; int2 & fact9 -> int3: ¬{A}{a}; int3 & fact1 -> int4: (¬{A}{a} & {C}{a}); int4 & fact2 -> hypothesis;
このまくまのLv.70は事足りる
fact11 -> int5: もし仮にそのぽちゃぽくLv.6が柔らかいとするとそれは掃除し易くなくてその上勝てる; int5 & fact14 -> int6: そのぽちゃぽくLv.6は掃除し易くないがしかし勝てる; fact13 & int6 -> int7: このぽよぽえLv.24は勝てない; int7 -> int8: 「勝てない」モンスターはいる; int8 & fact12 -> int9: そのぷやぷにょLv.16は事足りるし加えてそれは勝てる; int9 -> int10: そのぷやぷにょLv.16は事足りる; int10 -> int11: 「事足りる」モンスターはいる;
$facts$ = fact1: そのぷやぷにょLv.16は柔らかい fact2: もし仮にそのぷやぷにょLv.16が御掛けに成らないがしかしそれが柔らかいならこのまくまのLv.70は事足りない fact3: 「そのぷにゃぷにゃLv.97は落ち難くないけれどそれは自爆する」ということは事実であるということはない fact4: 「そのぷにゃぷにゃLv.97は落ち難くておまけに自爆する」ということは間違っている fact5: もし仮に「勝てない」モンスターがいるとすればそのぷやぷにょLv.16が事足りるしその上勝てる fact6: そのぽちゃぽくLv.6が掃除し易くないけれどそれが勝てるとするとこのぽよぽえLv.24は勝てるということはない fact7: 「柔らかいモンスターは掃除し易いということはないけど勝てる」ということは事実だ fact8: もし「あるモンスターは落ち難くないけど自爆する」ということは間違っていればそれは勝てない fact9: そのぷにゃぷにゃLv.97が勝てないとするとそのぷやぷにょLv.16は御掛けに成らない fact10: そのぽちゃぽくLv.6は柔らかい ; $hypothesis$ = このまくまのLv.70は事足りる ; $proof$ = 
fact8 -> int1: 仮に「そのぷにゃぷにゃLv.97は落ち難くないけど自爆する」ということは確かであるということはないならばそのぷにゃぷにゃLv.97は勝てない; int1 & fact3 -> int2: そのぷにゃぷにゃLv.97は勝てるということはない; int2 & fact9 -> int3: そのぷやぷにょLv.16は御掛けに成らない; int3 & fact1 -> int4: 「そのぷやぷにょLv.16は御掛けに成るということはないがそれは柔らかい」ということは真実である; int4 & fact2 -> hypothesis; __DISPROVED__
fact8 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact3 -> int2: ¬{B}{aa}; int2 & fact9 -> int3: ¬{A}{a}; int3 & fact1 -> int4: (¬{A}{a} & {C}{a}); int4 & fact2 -> hypothesis; __DISPROVED__