あのもちゃもにゃLv.12は祓う
fact1: 仮に何らかのモンスターがえぐくなくてそれが変え難くないとすれば祓わない fact2: 仮にこのぷなぷにLv.31が打ち上がり易いしかつそれが変え難いとすればあのまちゃまちゅLv.24は変え難くない fact3: あらゆるモンスターは共鳴し易い fact4: あらゆるモンスターは祓う
fact4 -> int1: あらゆるモンスターは祓う; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
あのもちゃもにゃLv.12は祓わない
fact6 -> int2: もしもあのもちゃもにゃLv.12がえぐくなくてしかもそれが変え難くないとしたらあのもちゃもにゃLv.12は祓うということはない;
$facts$ = fact1: 仮に何らかのモンスターがえぐくなくてそれが変え難くないとすれば祓わない fact2: 仮にこのぷなぷにLv.31が打ち上がり易いしかつそれが変え難いとすればあのまちゃまちゅLv.24は変え難くない fact3: あらゆるモンスターは共鳴し易い fact4: あらゆるモンスターは祓う ; $hypothesis$ = あのもちゃもにゃLv.12は祓う ; $proof$ = 
fact4 -> int1: あらゆるモンスターは祓う; int1 -> hypothesis; __PROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__