「このもいもにゃLv.58は生温いけどそれは淀み無くない」ということは成り立たない
fact1: あのぽやぽいLv.7は麗々しいし加えて被弾する fact2: このぽやぽにゃLv.65は生温くない fact3: もしもあのぽやぽいLv.7が麗々しいとしたらこのまちゃまねLv.53は揺るぎない fact4: 仮にこのまちゃまねLv.53は揺るぎないとしたら「このもいもにゃLv.58は生温いが淀み無くない」ということは本当だ fact5: もし仮になんらかのモンスターは麗々しくないならば「それは生温い一方で淀み無くない」ということは事実と異なる
fact1 -> int1: あのぽやぽいLv.7は麗々しい; int1 & fact3 -> int2: このまちゃまねLv.53は揺るぎない; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
「このもいもにゃLv.58は生温いけどそれは淀み無くない」ということは成り立たない
fact6 -> int3: 「仮にこのもいもにゃLv.58は麗々しくないとすると「このもいもにゃLv.58は生温いけれど淀み無くない」ということは成り立つということはない」ということは本当だ;
$facts$ = fact1: あのぽやぽいLv.7は麗々しいし加えて被弾する fact2: このぽやぽにゃLv.65は生温くない fact3: もしもあのぽやぽいLv.7が麗々しいとしたらこのまちゃまねLv.53は揺るぎない fact4: 仮にこのまちゃまねLv.53は揺るぎないとしたら「このもいもにゃLv.58は生温いが淀み無くない」ということは本当だ fact5: もし仮になんらかのモンスターは麗々しくないならば「それは生温い一方で淀み無くない」ということは事実と異なる ; $hypothesis$ = 「このもいもにゃLv.58は生温いけどそれは淀み無くない」ということは成り立たない ; $proof$ = 
fact1 -> int1: あのぽやぽいLv.7は麗々しい; int1 & fact3 -> int2: このまちゃまねLv.53は揺るぎない; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__