そのみちゃみにゃLv.52は不足し易い
fact1: 陰気臭いモンスターは小高い fact2: 仮に何らかのモンスターが御労しいとすれば陰気臭い fact3: 仮にこのぽいぽくLv.79が陰気臭いとするとあのみにょみにLv.76は小高い fact4: もし仮に「あるモンスターは陰気臭いししかも不足し易い」ということは事実であるということはないとすれば不足し易くない fact5: このぽいぽくLv.79は陰気臭いし御労しい
fact5 -> int1: このぽいぽくLv.79は陰気臭い; int1 & fact3 -> int2: あのみにょみにLv.76は小高い;
fact5 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b};
このまゆまちゃLv.12は小高い
fact7 -> int3: このまゆまちゃLv.12が陰気臭いとするとこのまゆまちゃLv.12は小高い; fact6 -> int4: このまゆまちゃLv.12が御労しいならそれは陰気臭い;
$facts$ = fact1: 陰気臭いモンスターは小高い fact2: 仮に何らかのモンスターが御労しいとすれば陰気臭い fact3: 仮にこのぽいぽくLv.79が陰気臭いとするとあのみにょみにLv.76は小高い fact4: もし仮に「あるモンスターは陰気臭いししかも不足し易い」ということは事実であるということはないとすれば不足し易くない fact5: このぽいぽくLv.79は陰気臭いし御労しい ; $hypothesis$ = そのみちゃみにゃLv.52は不足し易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__