このまえまやLv.81は日本人らしい
fact1: すべてのモンスターは遣り辛くない fact2: もしも「何らかのモンスターは骨っぽくなくてかつ美しいということはない」ということは成り立たないならそれは女性らしくない fact3: もし仮に「あるモンスターは女性らしいしかつそれは動揺し易い」ということは事実と異なるとすると「それは日本人らしくない」ということは事実だ fact4: あのぴねぴにゅLv.3がすっごいとするとこのまえまやLv.81は日本人らしい fact5: もしあのぴねぴにゅLv.3が旨いならばこのまえまやLv.81は日本人らしい fact6: あのぴねぴにゅLv.3は動揺し易くない fact7: このまえまやLv.81は旨くない fact8: 動揺し易くないモンスターはすっごいか旨いかもしくはどちらもだ fact9: もし仮に何らかのモンスターが女性らしくないならばそれは動揺し易くて日本人らしい
fact8 -> int1: あのぴねぴにゅLv.3が動揺し易いということはないとすればあのぴねぴにゅLv.3はすっごいかまたは旨いかあるいはどちらもだ; int1 & fact6 -> int2: あのぴねぴにゅLv.3はすっごいかそれは旨いかあるいは両方だ; int2 & fact4 & fact5 -> hypothesis;
fact8 -> int1: ¬{A}{aa} -> ({AA}{aa} v {AB}{aa}); int1 & fact6 -> int2: ({AA}{aa} v {AB}{aa}); int2 & fact4 & fact5 -> hypothesis;
あのまちゃまやLv.47は動揺し易い
fact12 -> int3: もしも「このまえまやLv.81は骨っぽくなくてそれは美しくない」ということは成り立たないとしたらそれは女性らしくない; fact11 -> int4: このまえまやLv.81は遣り辛くない; fact10 -> int5: このまえまやLv.81が女性らしくないとしたら動揺し易くてかつ日本人らしい;
$facts$ = fact1: すべてのモンスターは遣り辛くない fact2: もしも「何らかのモンスターは骨っぽくなくてかつ美しいということはない」ということは成り立たないならそれは女性らしくない fact3: もし仮に「あるモンスターは女性らしいしかつそれは動揺し易い」ということは事実と異なるとすると「それは日本人らしくない」ということは事実だ fact4: あのぴねぴにゅLv.3がすっごいとするとこのまえまやLv.81は日本人らしい fact5: もしあのぴねぴにゅLv.3が旨いならばこのまえまやLv.81は日本人らしい fact6: あのぴねぴにゅLv.3は動揺し易くない fact7: このまえまやLv.81は旨くない fact8: 動揺し易くないモンスターはすっごいか旨いかもしくはどちらもだ fact9: もし仮に何らかのモンスターが女性らしくないならばそれは動揺し易くて日本人らしい ; $hypothesis$ = このまえまやLv.81は日本人らしい ; $proof$ = 
fact8 -> int1: あのぴねぴにゅLv.3が動揺し易いということはないとすればあのぴねぴにゅLv.3はすっごいかまたは旨いかあるいはどちらもだ; int1 & fact6 -> int2: あのぴねぴにゅLv.3はすっごいかそれは旨いかあるいは両方だ; int2 & fact4 & fact5 -> hypothesis; __PROVED__
fact8 -> int1: ¬{A}{aa} -> ({AA}{aa} v {AB}{aa}); int1 & fact6 -> int2: ({AA}{aa} v {AB}{aa}); int2 & fact4 & fact5 -> hypothesis; __PROVED__