そのぽなぽえLv.91は色付けする
fact1: 仮にあるモンスターが操作し易いならそれは広がり易い fact2: もしもあのぽにゅぽくLv.52が御早いし顕在化し易いとすればそのぽなぽえLv.91は色付けしない fact3: あのぽにゅぽくLv.52は顕在化し易い fact4: もし仮になにがしかのモンスターは苦しいということはないとすれば「顕在化し易いということはないがしかし切磋琢磨する」ということは嘘だ fact5: あのぽにゅぽくLv.52は広がり易い fact6: そのぽなぽえLv.91は広がり易い fact7: あのぽにゅぽくLv.52は広がり易いとしたら「あのぽにゅぽくLv.52は御早い」ということは成り立つ fact8: 「全てのモンスターは苦しくない」ということは成り立つ
fact7 & fact5 -> int1: あのぽにゅぽくLv.52は御早い; int1 & fact3 -> int2: あのぽにゅぽくLv.52は御早いし顕在化し易い; int2 & fact2 -> hypothesis;
fact7 & fact5 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis;
そのぽなぽえLv.91が操作し易いとしたらそのぽなぽえLv.91は広がり易い
fact9 -> hypothesis;
$facts$ = fact1: 仮にあるモンスターが操作し易いならそれは広がり易い fact2: もしもあのぽにゅぽくLv.52が御早いし顕在化し易いとすればそのぽなぽえLv.91は色付けしない fact3: あのぽにゅぽくLv.52は顕在化し易い fact4: もし仮になにがしかのモンスターは苦しいということはないとすれば「顕在化し易いということはないがしかし切磋琢磨する」ということは嘘だ fact5: あのぽにゅぽくLv.52は広がり易い fact6: そのぽなぽえLv.91は広がり易い fact7: あのぽにゅぽくLv.52は広がり易いとしたら「あのぽにゅぽくLv.52は御早い」ということは成り立つ fact8: 「全てのモンスターは苦しくない」ということは成り立つ ; $hypothesis$ = そのぽなぽえLv.91は色付けする ; $proof$ = 
fact7 & fact5 -> int1: あのぽにゅぽくLv.52は御早い; int1 & fact3 -> int2: あのぽにゅぽくLv.52は御早いし顕在化し易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact7 & fact5 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis; __DISPROVED__