このぽくぽわLv.9は突進する
fact1: 仮に何らかのモンスターが色っぽくないがしかしそれが良しとしたらそれは突進しない fact2: すべてのモンスターはすんごい fact3: 「あらゆるモンスターは突進する」ということは真実だ
fact3 -> int1: 「あらゆるモンスターは突進する」ということは真実だ; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
このぽくぽわLv.9は突進しない
fact4 -> int2: あのぽなぽよLv.40が色っぽいということはないがしかし良しならあのぽなぽよLv.40は突進しない;
$facts$ = fact1: 仮に何らかのモンスターが色っぽくないがしかしそれが良しとしたらそれは突進しない fact2: すべてのモンスターはすんごい fact3: 「あらゆるモンスターは突進する」ということは真実だ ; $hypothesis$ = このぽくぽわLv.9は突進する ; $proof$ = 
fact3 -> int1: 「あらゆるモンスターは突進する」ということは真実だ; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__