このまちゃまゆLv.7は四角いということはない
fact1: このまちゃまゆLv.7は味気ないかまたはそれは堪り易い fact2: もしも「なんらかのモンスターは堪り易い一方で近付き易くない」ということは嘘であるとしたら堪り易くない fact3: あらゆるモンスターは味気ないかもしくはそれは堪り易くない fact4: もし仮にあのまよまくLv.58が堪り易くないならこのまちゃまゆLv.7は味気ないしかつ四角い
fact3 -> int1: 「このまちゃまゆLv.7は味気ないかもしくは堪り易くない」ということは確かだ;
fact3 -> int1: ({A}{aa} v ¬{B}{aa});
このまちゃまゆLv.7は四角い
fact5 -> int2: もし「「あのまよまくLv.58は堪り易い一方でそれは近付き易くない」ということは真実だ」ということは成り立たないとするとそれは堪り易くない;
$facts$ = fact1: このまちゃまゆLv.7は味気ないかまたはそれは堪り易い fact2: もしも「なんらかのモンスターは堪り易い一方で近付き易くない」ということは嘘であるとしたら堪り易くない fact3: あらゆるモンスターは味気ないかもしくはそれは堪り易くない fact4: もし仮にあのまよまくLv.58が堪り易くないならこのまちゃまゆLv.7は味気ないしかつ四角い ; $hypothesis$ = このまちゃまゆLv.7は四角いということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__