「なにがしかのモンスターは悩ましいしおまけにきったない」ということは成り立たない
fact1: このみくみにゃLv.84はイメージし易い fact2: このみくみにゃLv.84は悩ましい fact3: 仮にこのみくみにゃLv.84はイメージし易いとしたら「あのもえもにゅLv.60はきったない」ということは成り立つ fact4: あのもえもにゅLv.60は悩ましい fact5: もしあのもえもにゅLv.60がイメージし易いとしたらこのみくみにゃLv.84はきったない
fact3 & fact1 -> int1: あのもえもにゅLv.60はきったない; int1 & fact4 -> int2: あのもえもにゅLv.60は悩ましくてまたそれはきったない; int2 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: ({C}{b} & {B}{b}); int2 -> hypothesis;
$facts$ = fact1: このみくみにゃLv.84はイメージし易い fact2: このみくみにゃLv.84は悩ましい fact3: 仮にこのみくみにゃLv.84はイメージし易いとしたら「あのもえもにゅLv.60はきったない」ということは成り立つ fact4: あのもえもにゅLv.60は悩ましい fact5: もしあのもえもにゅLv.60がイメージし易いとしたらこのみくみにゃLv.84はきったない ; $hypothesis$ = 「なにがしかのモンスターは悩ましいしおまけにきったない」ということは成り立たない ; $proof$ = 
fact3 & fact1 -> int1: あのもえもにゅLv.60はきったない; int1 & fact4 -> int2: あのもえもにゅLv.60は悩ましくてまたそれはきったない; int2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: ({C}{b} & {B}{b}); int2 -> hypothesis; __DISPROVED__