そのぷにゅぷにょLv.23は驚嘆しない
fact1: 「このぴわぴにゃLv.83は拒み続けないけれどそれは引き抜ける」ということは間違いである fact2: もしこのぴわぴにゃLv.83は割り出せるなら「そのぷにゅぷにょLv.23は驚嘆する」ということは事実だ fact3: 熱っぽくないモンスターは驚嘆しなくてかつ割り出せるということはない fact4: もしもあのぷちゃぷよLv.57が脱藩しないとすればあのぷちゃぷよLv.57は整理統合しないかもしくはそれは忙しくない fact5: あのぷちゃぷよLv.57が整理統合しないかまたはそれが忙しくないかもしくは両方であるとすればあのぷちゃぷよLv.57は整理統合しない fact6: もしもあのぷちゃぷよLv.57が整理統合しないがしかし熱っぽいならそのぷにゅぷにょLv.23は熱っぽくない fact7: もし仮に「あるモンスターは拒み続けない一方で引き抜ける」ということは誤りであるとするとそれは割り出せる fact8: あらゆるモンスターは脱藩しない
fact7 -> int1: もし仮に「このぴわぴにゃLv.83は拒み続けないけれど引き抜ける」ということは成り立たないとすると割り出せる; int1 & fact1 -> int2: このぴわぴにゃLv.83は割り出せる; int2 & fact2 -> hypothesis;
fact7 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact2 -> hypothesis;
そのぷにゅぷにょLv.23は驚嘆しない
fact13 -> int3: もしそのぷにゅぷにょLv.23は熱っぽくないなら「驚嘆しなくてまた割り出せない」ということは成り立つ; fact10 -> int4: あのぷちゃぷよLv.57は脱藩するということはない; fact12 & int4 -> int5: あのぷちゃぷよLv.57は整理統合しないかまたは忙しくないかもしくは両方だ; fact9 & int5 -> int6: あのぷちゃぷよLv.57は整理統合しない;
$facts$ = fact1: 「このぴわぴにゃLv.83は拒み続けないけれどそれは引き抜ける」ということは間違いである fact2: もしこのぴわぴにゃLv.83は割り出せるなら「そのぷにゅぷにょLv.23は驚嘆する」ということは事実だ fact3: 熱っぽくないモンスターは驚嘆しなくてかつ割り出せるということはない fact4: もしもあのぷちゃぷよLv.57が脱藩しないとすればあのぷちゃぷよLv.57は整理統合しないかもしくはそれは忙しくない fact5: あのぷちゃぷよLv.57が整理統合しないかまたはそれが忙しくないかもしくは両方であるとすればあのぷちゃぷよLv.57は整理統合しない fact6: もしもあのぷちゃぷよLv.57が整理統合しないがしかし熱っぽいならそのぷにゅぷにょLv.23は熱っぽくない fact7: もし仮に「あるモンスターは拒み続けない一方で引き抜ける」ということは誤りであるとするとそれは割り出せる fact8: あらゆるモンスターは脱藩しない ; $hypothesis$ = そのぷにゅぷにょLv.23は驚嘆しない ; $proof$ = 
fact7 -> int1: もし仮に「このぴわぴにゃLv.83は拒み続けないけれど引き抜ける」ということは成り立たないとすると割り出せる; int1 & fact1 -> int2: このぴわぴにゃLv.83は割り出せる; int2 & fact2 -> hypothesis; __DISPROVED__
fact7 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact1 -> int2: {B}{aa}; int2 & fact2 -> hypothesis; __DISPROVED__