あのみのみにょLv.77はいがらっぽいということはない
fact1: あのもちゅもゆLv.16は遷座するしかつそれは顕在化し易い fact2: あのもちゅもゆLv.16は気難しい fact3: 顕在化し易くないモンスターは遷座するしおまけにいがらっぽい fact4: 仮にあのもちゅもゆLv.16が遷座するしさらに気難しいならあのみのみにょLv.77はいがらっぽくない
fact1 -> int1: あのもちゅもゆLv.16は遷座する; int1 & fact2 -> int2: あのもちゅもゆLv.16は遷座するしさらに気難しい; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> hypothesis;
あのみのみにょLv.77はいがらっぽい
fact5 -> int3: もしもあのみのみにょLv.77は顕在化し易くないとすれば遷座するしその上いがらっぽい;
$facts$ = fact1: あのもちゅもゆLv.16は遷座するしかつそれは顕在化し易い fact2: あのもちゅもゆLv.16は気難しい fact3: 顕在化し易くないモンスターは遷座するしおまけにいがらっぽい fact4: 仮にあのもちゅもゆLv.16が遷座するしさらに気難しいならあのみのみにょLv.77はいがらっぽくない ; $hypothesis$ = あのみのみにょLv.77はいがらっぽいということはない ; $proof$ = 
fact1 -> int1: あのもちゅもゆLv.16は遷座する; int1 & fact2 -> int2: あのもちゅもゆLv.16は遷座するしさらに気難しい; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> hypothesis; __PROVED__