そのもにゅもねLv.17は広いけれど注意深くない
fact1: 仮にこのぽよぽにゅLv.41が座れるならそのもにゅもねLv.17は悪し fact2: 仮にそのもにゅもねLv.17は悪しならば「広くてそれに注意深くない」ということは誤りである fact3: 全てのモンスターは返りらしいししかも座れる
fact3 -> int1: 「このぽよぽにゅLv.41は返りらしいしその上座れる」ということは事実だ; int1 -> int2: 「このぽよぽにゅLv.41は座れる」ということは本当だ; int2 & fact1 -> int3: そのもにゅもねLv.17は悪し; int3 & fact2 -> hypothesis;
fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{b}; int3 & fact2 -> hypothesis;
$facts$ = fact1: 仮にこのぽよぽにゅLv.41が座れるならそのもにゅもねLv.17は悪し fact2: 仮にそのもにゅもねLv.17は悪しならば「広くてそれに注意深くない」ということは誤りである fact3: 全てのモンスターは返りらしいししかも座れる ; $hypothesis$ = そのもにゅもねLv.17は広いけれど注意深くない ; $proof$ = 
fact3 -> int1: 「このぽよぽにゅLv.41は返りらしいしその上座れる」ということは事実だ; int1 -> int2: 「このぽよぽにゅLv.41は座れる」ということは本当だ; int2 & fact1 -> int3: そのもにゅもねLv.17は悪し; int3 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{b}; int3 & fact2 -> hypothesis; __DISPROVED__