このぴなぴちゅLv.93は管理し易くない
fact1: 仮に狡賢いモンスターが重しないとするとそれは美しい fact2: あのぽちゃぽいLv.49は狡賢い fact3: もしも「あのぽちゅぽにゅLv.87は美しいということはないかそれは管理し易くないか両方だ」ということは成り立たないならこのぴなぴちゅLv.93は管理し易くない fact4: あのぽちゃぽいLv.49は重しない fact5: 攻撃し易いモンスターは分離し易いが観察し易くない fact6: なんらかのモンスターは分離し易いなら「美しくないかあるいは管理し易くないか両方である」ということは正しくない fact7: もしあのぽちゃぽいLv.49が美しいならこのぴなぴちゅLv.93は管理し易い fact8: もし仮に狡賢いモンスターは管理し易くないとしたらそれは重し
fact1 -> int1: 仮にあのぽちゃぽいLv.49が狡賢いがそれは重しないならば「あのぽちゃぽいLv.49は美しい」ということは成り立つ; fact4 & fact2 -> int2: あのぽちゃぽいLv.49は狡賢いが重しない; int1 & int2 -> int3: あのぽちゃぽいLv.49は美しい; int3 & fact7 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact4 & fact2 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact7 -> hypothesis;
このぴなぴちゅLv.93は管理し易くない
fact9 -> int4: 「あのぽちゅぽにゅLv.87は分離し易い」ということは確かなら「それは美しくないかあるいは管理し易くないかあるいはどちらもだ」ということは偽だ; fact11 -> int5: もし「あのぽちゅぽにゅLv.87は攻撃し易い」ということは事実であるならあのぽちゅぽにゅLv.87は分離し易いが観察し易くない;
$facts$ = fact1: 仮に狡賢いモンスターが重しないとするとそれは美しい fact2: あのぽちゃぽいLv.49は狡賢い fact3: もしも「あのぽちゅぽにゅLv.87は美しいということはないかそれは管理し易くないか両方だ」ということは成り立たないならこのぴなぴちゅLv.93は管理し易くない fact4: あのぽちゃぽいLv.49は重しない fact5: 攻撃し易いモンスターは分離し易いが観察し易くない fact6: なんらかのモンスターは分離し易いなら「美しくないかあるいは管理し易くないか両方である」ということは正しくない fact7: もしあのぽちゃぽいLv.49が美しいならこのぴなぴちゅLv.93は管理し易い fact8: もし仮に狡賢いモンスターは管理し易くないとしたらそれは重し ; $hypothesis$ = このぴなぴちゅLv.93は管理し易くない ; $proof$ = 
fact1 -> int1: 仮にあのぽちゃぽいLv.49が狡賢いがそれは重しないならば「あのぽちゃぽいLv.49は美しい」ということは成り立つ; fact4 & fact2 -> int2: あのぽちゃぽいLv.49は狡賢いが重しない; int1 & int2 -> int3: あのぽちゃぽいLv.49は美しい; int3 & fact7 -> hypothesis; __DISPROVED__
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact4 & fact2 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact7 -> hypothesis; __DISPROVED__