あのまにょまちょLv.47は成され易くない
fact1: 欲深いモンスターはひょろ長くないけれど入れ直す fact2: そのみにゅみにゃLv.79は明るいということはないがしかし打ち上がり易い fact3: 仮にそのみにゅみにゃLv.79が慈愛深いならばあのぴちょぴやLv.34は成され易い fact4: 明るいということはないモンスターは慈愛深いし起こせる fact5: 欲深いモンスターは仕事らしくない一方で入れ直す fact6: あのまにょまちょLv.47は欲深い fact7: そのみなみちょLv.90はひょろ長くない一方でそれは所狭し
fact1 -> int1: もし仮にあのまにょまちょLv.47が欲深いとすればそれはひょろ長くないけど入れ直す; int1 & fact6 -> int2: 「あのまにょまちょLv.47はひょろ長いということはないけど入れ直す」ということは成り立つ;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact6 -> int2: (¬{AA}{aa} & {AB}{aa});
あのぴちょぴやLv.34は仕事らしくないがそれは入れ直す
fact10 -> int3: もし仮にあのぴちょぴやLv.34が欲深いならばそれは仕事らしくないがしかし入れ直す; fact11 -> int4: もしもそのみにゅみにゃLv.79が明るくないとしたら慈愛深いし起こせる; fact8 -> int5: そのみにゅみにゃLv.79は明るくない; int4 & int5 -> int6: そのみにゅみにゃLv.79は慈愛深いしその上起こせる; int6 -> int7: 「そのみにゅみにゃLv.79は慈愛深い」ということは成り立つ; fact9 & int7 -> int8: あのぴちょぴやLv.34は成され易い;
$facts$ = fact1: 欲深いモンスターはひょろ長くないけれど入れ直す fact2: そのみにゅみにゃLv.79は明るいということはないがしかし打ち上がり易い fact3: 仮にそのみにゅみにゃLv.79が慈愛深いならばあのぴちょぴやLv.34は成され易い fact4: 明るいということはないモンスターは慈愛深いし起こせる fact5: 欲深いモンスターは仕事らしくない一方で入れ直す fact6: あのまにょまちょLv.47は欲深い fact7: そのみなみちょLv.90はひょろ長くない一方でそれは所狭し ; $hypothesis$ = あのまにょまちょLv.47は成され易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__