そのぷにゃぷにLv.16は用い易くない
fact1: そのぷわぷくLv.41は用い易い fact2: あらゆるモンスターは手堅い fact3: もしとあるモンスターは惨たらしいなら「「用い易くなくて更に酸化し難くない」ということは確かである」ということは嘘である fact4: 惨たらしいモンスターは用い易い fact5: 全てのモンスターは用い易い
fact5 -> int1: 全てのモンスターは用い易い; int1 -> hypothesis;
fact5 -> int1: (x): {A}x; int1 -> hypothesis;
そのぷにゃぷにLv.16は用い易くない
fact6 -> int2: もしもあのもちゅもやLv.61は惨たらしいとすれば「それは用い易くなくて酸化し難くない」ということは間違っている;
$facts$ = fact1: そのぷわぷくLv.41は用い易い fact2: あらゆるモンスターは手堅い fact3: もしとあるモンスターは惨たらしいなら「「用い易くなくて更に酸化し難くない」ということは確かである」ということは嘘である fact4: 惨たらしいモンスターは用い易い fact5: 全てのモンスターは用い易い ; $hypothesis$ = そのぷにゃぷにLv.16は用い易くない ; $proof$ = 
fact5 -> int1: 全てのモンスターは用い易い; int1 -> hypothesis; __DISPROVED__
fact5 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__