このまよまにLv.59は買い易くない
fact1: もし仮になんらかのモンスターはぎごちなくないとしたら「それはしかつめらしくて加えて新し」ということは誤っている fact2: あのもよもちゅLv.14は意地悪くないが御知らせ下さる fact3: もしも意地悪くないモンスターが御知らせ下さるとすれば新し fact4: あのもよもちゅLv.14が新しとするとこのまよまにLv.59はしかつめらしい fact5: もし意地悪いモンスターが御知らせ下されば新し fact6: もしこのまよまにLv.59がしかつめらしいとするとそれは買い易くないけどぎごちない
fact3 -> int1: もしあのもよもちゅLv.14が意地悪くない一方で御知らせ下さるとすればあのもよもちゅLv.14は新し; int1 & fact2 -> int2: あのもよもちゅLv.14は新し; int2 & fact4 -> int3: このまよまにLv.59はしかつめらしい; int3 & fact6 -> int4: このまよまにLv.59は買い易くないけどぎごちない; int4 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{a}; int3 & fact6 -> int4: (¬{C}{a} & {D}{a}); int4 -> hypothesis;
このまよまにLv.59は買い易い
fact7 -> int5: あのぽわぽにLv.22はぎごちなくないとすると「しかつめらしいしさらに新し」ということは成り立つということはない;
$facts$ = fact1: もし仮になんらかのモンスターはぎごちなくないとしたら「それはしかつめらしくて加えて新し」ということは誤っている fact2: あのもよもちゅLv.14は意地悪くないが御知らせ下さる fact3: もしも意地悪くないモンスターが御知らせ下さるとすれば新し fact4: あのもよもちゅLv.14が新しとするとこのまよまにLv.59はしかつめらしい fact5: もし意地悪いモンスターが御知らせ下されば新し fact6: もしこのまよまにLv.59がしかつめらしいとするとそれは買い易くないけどぎごちない ; $hypothesis$ = このまよまにLv.59は買い易くない ; $proof$ = 
fact3 -> int1: もしあのもよもちゅLv.14が意地悪くない一方で御知らせ下さるとすればあのもよもちゅLv.14は新し; int1 & fact2 -> int2: あのもよもちゅLv.14は新し; int2 & fact4 -> int3: このまよまにLv.59はしかつめらしい; int3 & fact6 -> int4: このまよまにLv.59は買い易くないけどぎごちない; int4 -> hypothesis; __PROVED__
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact4 -> int3: {A}{a}; int3 & fact6 -> int4: (¬{C}{a} & {D}{a}); int4 -> hypothesis; __PROVED__