そのぷにゃぷくLv.33は近付き易くない
fact1: もしも「なにがしかのモンスターは薄くない一方でそれは激しい」ということは成り立たないとするとそれは生温い fact2: あらゆるモンスターは近付き易い fact3: そのぷにゃぷくLv.33はおどろおどろしくない fact4: 仮に何らかのモンスターがおどろおどろしくないならば疲れ易いしかつそれは調節し易い fact5: 仮にあるモンスターが生温いとしたらそれは近付き易い
fact2 -> int1: あらゆるモンスターは近付き易い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
そのぴにょぴくLv.6は近付き易い
fact9 -> int2: そのぴにょぴくLv.6が生温いならばそのぴにょぴくLv.6は近付き易い; fact6 -> int3: 仮に「「そのぴにょぴくLv.6は薄いということはないがしかし激しい」ということは嘘である」ということは事実だとするとそのぴにょぴくLv.6は生温い; fact7 -> int4: 「そのぷにゃぷくLv.33はおどろおどろしいということはない」ということは事実であるとするとそれは疲れ易くてさらに調節し易い; int4 & fact8 -> int5: 「そのぷにゃぷくLv.33は疲れ易いしかつそれは調節し易い」ということは成り立つ; int5 -> int6: 「そのぷにゃぷくLv.33は調節し易い」ということは確かだ; int6 -> int7: 「調節し易い」モンスターはいる;
$facts$ = fact1: もしも「なにがしかのモンスターは薄くない一方でそれは激しい」ということは成り立たないとするとそれは生温い fact2: あらゆるモンスターは近付き易い fact3: そのぷにゃぷくLv.33はおどろおどろしくない fact4: 仮に何らかのモンスターがおどろおどろしくないならば疲れ易いしかつそれは調節し易い fact5: 仮にあるモンスターが生温いとしたらそれは近付き易い ; $hypothesis$ = そのぷにゃぷくLv.33は近付き易くない ; $proof$ = 
fact2 -> int1: あらゆるモンスターは近付き易い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__