「「あのまやまにゃLv.52は態とらしいしさらに小狡い」ということは嘘である」ということは確かだ
fact1: あのまやまにゃLv.52は小狡い fact2: もし仮にあるモンスターは胡散臭くないとすると「それは生易しくないししかも役らしくない」ということは間違っている fact3: 仮にあるモンスターが御叱るならそれは胡散臭くない fact4: もしあのまやまにゃLv.52が把握し辛いとすればあのまにまちゃLv.43は態とらしい fact5: あのまやまにゃLv.52が胡散臭いならば態とらしい fact6: もし仮に「あのぴねぴにLv.50は生易しいということはなくてそれは役らしいということはない」ということは確かでないとするとあのまにまちゃLv.43は生易しい fact7: あるモンスターが把握し辛いとするとあのまやまにゃLv.52は胡散臭い fact8: 「もし仮にあのまにまちゃLv.43が把握し辛いかそれが生易しいかもしくはどちらもであるとするとあのまやまにゃLv.52は把握し辛くない」ということは正しい
「「あのまやまにゃLv.52は態とらしいしさらに小狡い」ということは嘘である」ということは確かだ
fact11 -> int1: そのぴちょぴちゅLv.72は胡散臭いということはないなら「そのぴちょぴちゅLv.72は生易しくないししかも役らしくない」ということは成り立つということはない; fact10 -> int2: 仮にそのぴちょぴちゅLv.72が御叱れば胡散臭くない;
$facts$ = fact1: あのまやまにゃLv.52は小狡い fact2: もし仮にあるモンスターは胡散臭くないとすると「それは生易しくないししかも役らしくない」ということは間違っている fact3: 仮にあるモンスターが御叱るならそれは胡散臭くない fact4: もしあのまやまにゃLv.52が把握し辛いとすればあのまにまちゃLv.43は態とらしい fact5: あのまやまにゃLv.52が胡散臭いならば態とらしい fact6: もし仮に「あのぴねぴにLv.50は生易しいということはなくてそれは役らしいということはない」ということは確かでないとするとあのまにまちゃLv.43は生易しい fact7: あるモンスターが把握し辛いとするとあのまやまにゃLv.52は胡散臭い fact8: 「もし仮にあのまにまちゃLv.43が把握し辛いかそれが生易しいかもしくはどちらもであるとするとあのまやまにゃLv.52は把握し辛くない」ということは正しい ; $hypothesis$ = 「「あのまやまにゃLv.52は態とらしいしさらに小狡い」ということは嘘である」ということは確かだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__