そのもくもねLv.94は御濃い
fact1: 清しないモンスターは見極め難くて更に嫉妬深い fact2: もし仮にあのみやみちゃLv.21は清しないなら「このもにゅもねLv.42は御安くないけれどそれは見極め難い」ということは誤りだ fact3: 「そのもくもねLv.94は高しないけど御濃い」ということは成り立たない fact4: 「あのみやみちゃLv.21は嫉妬深い一方で高しということはない」ということは間違いだ fact5: もしも「あのみやみちゃLv.21は嫉妬深いけど高しない」ということは事実だということはないならば清しということはない fact6: 「あのみやみちゃLv.21は御安いけど高しない」ということは誤りである fact7: もしあのみやみちゃLv.21は嫉妬深いということはないとすると「そのもくもねLv.94は御濃いということはないがしかし清し」ということは間違いである
fact5 & fact4 -> int1: あのみやみちゃLv.21は清しということはない; int1 & fact2 -> int2: 「このもにゅもねLv.42は御安くない一方で見極め難い」ということは真実でない;
fact5 & fact4 -> int1: ¬{B}{a}; int1 & fact2 -> int2: ¬(¬{C}{b} & {A}{b});
このみにょみにゃLv.57は嫉妬深い
fact8 -> int3: 仮にこのみにょみにゃLv.57が清しないとすれば見極め難いしそれに嫉妬深い;
$facts$ = fact1: 清しないモンスターは見極め難くて更に嫉妬深い fact2: もし仮にあのみやみちゃLv.21は清しないなら「このもにゅもねLv.42は御安くないけれどそれは見極め難い」ということは誤りだ fact3: 「そのもくもねLv.94は高しないけど御濃い」ということは成り立たない fact4: 「あのみやみちゃLv.21は嫉妬深い一方で高しということはない」ということは間違いだ fact5: もしも「あのみやみちゃLv.21は嫉妬深いけど高しない」ということは事実だということはないならば清しということはない fact6: 「あのみやみちゃLv.21は御安いけど高しない」ということは誤りである fact7: もしあのみやみちゃLv.21は嫉妬深いということはないとすると「そのもくもねLv.94は御濃いということはないがしかし清し」ということは間違いである ; $hypothesis$ = そのもくもねLv.94は御濃い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__