「このまいまわLv.73は詳しい」ということは成り立つ
fact1: もしもこのまいまわLv.73が御高くないならこのまいまわLv.73は詳しくない fact2: 仮にあるモンスターがめでたしないならそれは陥り易くないし小賢しくない fact3: 陥り易くないモンスターは詳しいしさらに御高い fact4: 「あのもいもくLv.11は詳しくない」ということは本当である fact5: あのぴなぴいLv.53は陥り易いということはない
「このまいまわLv.73は詳しい」ということは成り立つ
fact6 -> int1: このまいまわLv.73が陥り易いということはないならば詳しくてまたそれは御高い; fact7 -> int2: もしこのまいまわLv.73がめでたしないとしたらこのまいまわLv.73は陥り易くないし小賢しくない;
$facts$ = fact1: もしもこのまいまわLv.73が御高くないならこのまいまわLv.73は詳しくない fact2: 仮にあるモンスターがめでたしないならそれは陥り易くないし小賢しくない fact3: 陥り易くないモンスターは詳しいしさらに御高い fact4: 「あのもいもくLv.11は詳しくない」ということは本当である fact5: あのぴなぴいLv.53は陥り易いということはない ; $hypothesis$ = 「このまいまわLv.73は詳しい」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__