そのまにまちゃLv.70は混成するということはない
fact1: もし「なにがしかのモンスターは悲しないしおまけに商人らしくない」ということは成り立つということはないとしたらそれは混成しない fact2: もし仮にそのまにまちゃLv.70が悲しならそのまにまちゃLv.70は混成しない fact3: 「そのまにまちゃLv.70は悲し一方で商人らしくない」ということは成り立たない fact4: 悲しモンスターは混成しない fact5: もし仮に「なんらかのモンスターは通り易くないしおまけにそれは悲しない」ということは嘘だとしたら口惜しくない
fact1 -> int1: もし仮に「「そのまにまちゃLv.70は悲しないしかつそれは商人らしいということはない」ということは成り立つ」ということは成り立たないならそのまにまちゃLv.70は混成するということはない;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa};
仮に「あのぴよぴにLv.14は通り易いということはなくてさらに悲しない」ということは嘘ならあのぴよぴにLv.14は口惜しくない
fact6 -> hypothesis;
$facts$ = fact1: もし「なにがしかのモンスターは悲しないしおまけに商人らしくない」ということは成り立つということはないとしたらそれは混成しない fact2: もし仮にそのまにまちゃLv.70が悲しならそのまにまちゃLv.70は混成しない fact3: 「そのまにまちゃLv.70は悲し一方で商人らしくない」ということは成り立たない fact4: 悲しモンスターは混成しない fact5: もし仮に「なんらかのモンスターは通り易くないしおまけにそれは悲しない」ということは嘘だとしたら口惜しくない ; $hypothesis$ = そのまにまちゃLv.70は混成するということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__