「あのまくまにLv.58は神々しい」ということは正しい
fact1: 全てのモンスターは平べったい fact2: もしも「「立ち寄れるしそれに神々しい」ということは正しくない」モンスターがいるとしたらあのまくまにLv.58は神々しくない fact3: もし仮にあるモンスターは小暗くないとしたら「それは立ち寄れるしそれは神々しい」ということは嘘である fact4: すべてのモンスターはアセスメントするということはない fact5: このぷねぷちゃLv.10が小暗いならそれは神々しい
あのまくまにLv.58は神々しくない
fact7 -> int1: 仮にこのみやみにLv.59は小暗くないならば「このみやみにLv.59は立ち寄れるし神々しい」ということは事実と異なる; fact8 -> int2: このみやみにLv.59はアセスメントしない;
$facts$ = fact1: 全てのモンスターは平べったい fact2: もしも「「立ち寄れるしそれに神々しい」ということは正しくない」モンスターがいるとしたらあのまくまにLv.58は神々しくない fact3: もし仮にあるモンスターは小暗くないとしたら「それは立ち寄れるしそれは神々しい」ということは嘘である fact4: すべてのモンスターはアセスメントするということはない fact5: このぷねぷちゃLv.10が小暗いならそれは神々しい ; $hypothesis$ = 「あのまくまにLv.58は神々しい」ということは正しい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__