そのまにょまちゃLv.17は信じ易くない
fact1: もし仮に「あのまにゃまのLv.70は麗しないが解け易い」ということは成り立たないとすると「そのまにょまちゃLv.17は信じ易いということはない」ということは事実だ fact2: もしもそのまにょまちゃLv.17が解け易いとすればあのまにゃまのLv.70は信じ易くない fact3: あるモンスターは衰えないとしたら「それは信じ易くないしまたそれは重たい」ということは成り立たない fact4: 「もし仮に「そのまにょまちゃLv.17は麗しないけれどそれは解け易い」ということは成り立たないとしたらあのまにゃまのLv.70は信じ易いということはない」ということは真実だ
「そのみちゅみくLv.66は信じ易くない一方で重たい」ということは成り立つということはない
fact5 -> int1: もし仮にそのみちゅみくLv.66は衰えないならば「そのみちゅみくLv.66は信じ易くないが重たい」ということは成り立つということはない;
$facts$ = fact1: もし仮に「あのまにゃまのLv.70は麗しないが解け易い」ということは成り立たないとすると「そのまにょまちゃLv.17は信じ易いということはない」ということは事実だ fact2: もしもそのまにょまちゃLv.17が解け易いとすればあのまにゃまのLv.70は信じ易くない fact3: あるモンスターは衰えないとしたら「それは信じ易くないしまたそれは重たい」ということは成り立たない fact4: 「もし仮に「そのまにょまちゃLv.17は麗しないけれどそれは解け易い」ということは成り立たないとしたらあのまにゃまのLv.70は信じ易いということはない」ということは真実だ ; $hypothesis$ = そのまにょまちゃLv.17は信じ易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__