そのもちゅもちゃLv.58は賛成し難いということはない
fact1: 切り易いしさらに捕まえ易くないモンスターは物欲しいということはない fact2: 仮にとあるモンスターは物欲しくないとすれば「それはしがなくて賛成し難い」ということは成り立たない fact3: あのぽにぽちゅLv.81はしがないか物欲しいか両方である fact4: もし仮にそのまねまやLv.64は切り易いとすれば「そのもちゅもちゃLv.58は賛成し難い」ということは成り立つ fact5: もしもあのぽにぽちゅLv.81が物欲しいとするとそのまねまやLv.64は切り易い fact6: 「もしそのまねまやLv.64がしがないならあのぽにぽちゅLv.81は切り易い」ということは成り立つ fact7: あのぽにぽちゅLv.81がしがないとするとそのまねまやLv.64は切り易い
fact3 & fact7 & fact5 -> int1: そのまねまやLv.64は切り易い; int1 & fact4 -> hypothesis;
fact3 & fact7 & fact5 -> int1: {C}{c}; int1 & fact4 -> hypothesis;
そのもちゅもちゃLv.58は賛成し難いということはない
fact9 -> int2: もし仮にあのぽにぽちゅLv.81が切り易い一方で捕まえ易くないとすると「あのぽにぽちゅLv.81は物欲しくない」ということは事実である; fact8 -> int3: もし仮にあのぽにぽちゅLv.81は物欲しくないとしたら「それはしがないしまた賛成し難い」ということは成り立たない;
$facts$ = fact1: 切り易いしさらに捕まえ易くないモンスターは物欲しいということはない fact2: 仮にとあるモンスターは物欲しくないとすれば「それはしがなくて賛成し難い」ということは成り立たない fact3: あのぽにぽちゅLv.81はしがないか物欲しいか両方である fact4: もし仮にそのまねまやLv.64は切り易いとすれば「そのもちゅもちゃLv.58は賛成し難い」ということは成り立つ fact5: もしもあのぽにぽちゅLv.81が物欲しいとするとそのまねまやLv.64は切り易い fact6: 「もしそのまねまやLv.64がしがないならあのぽにぽちゅLv.81は切り易い」ということは成り立つ fact7: あのぽにぽちゅLv.81がしがないとするとそのまねまやLv.64は切り易い ; $hypothesis$ = そのもちゅもちゃLv.58は賛成し難いということはない ; $proof$ = 
fact3 & fact7 & fact5 -> int1: そのまねまやLv.64は切り易い; int1 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact7 & fact5 -> int1: {C}{c}; int1 & fact4 -> hypothesis; __DISPROVED__