「そのぽにょぽにゃLv.89は差し伸ばすということはないしそれは踏み越えない」ということは嘘である
fact1: 仮にこのもにゃもわLv.31が製造するし綴るとしたらそのぽにょぽにゃLv.89は踏み越えない fact2: 用心深いかあるいは弛くないモンスターは用心深い fact3: このもにゃもわLv.31は製造する fact4: このもにゃもわLv.31が弛いしその上それはリレーする fact5: そのぽにょぽにゃLv.89は差し伸ばすということはない fact6: このもにゃもわLv.31がリレーすればそれは綴る
fact4 -> int1: このもにゃもわLv.31はリレーする; int1 & fact6 -> int2: このもにゃもわLv.31は綴る; int2 & fact3 -> int3: 「このもにゃもわLv.31は製造するしかつ綴る」ということは成り立つ; int3 & fact1 -> int4: そのぽにょぽにゃLv.89は踏み越えない; int4 & fact5 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> int3: ({D}{a} & {C}{a}); int3 & fact1 -> int4: ¬{E}{b}; int4 & fact5 -> hypothesis;
そのぽちゃぽくLv.68は規則正しくてかつ用心深い
fact7 -> int5: 仮にそのぽちゃぽくLv.68が用心深いかもしくはそれが弛くないかもしくはどちらもであるとするとそのぽちゃぽくLv.68は用心深い;
$facts$ = fact1: 仮にこのもにゃもわLv.31が製造するし綴るとしたらそのぽにょぽにゃLv.89は踏み越えない fact2: 用心深いかあるいは弛くないモンスターは用心深い fact3: このもにゃもわLv.31は製造する fact4: このもにゃもわLv.31が弛いしその上それはリレーする fact5: そのぽにょぽにゃLv.89は差し伸ばすということはない fact6: このもにゃもわLv.31がリレーすればそれは綴る ; $hypothesis$ = 「そのぽにょぽにゃLv.89は差し伸ばすということはないしそれは踏み越えない」ということは嘘である ; $proof$ = 
fact4 -> int1: このもにゃもわLv.31はリレーする; int1 & fact6 -> int2: このもにゃもわLv.31は綴る; int2 & fact3 -> int3: 「このもにゃもわLv.31は製造するしかつ綴る」ということは成り立つ; int3 & fact1 -> int4: そのぽにょぽにゃLv.89は踏み越えない; int4 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> int3: ({D}{a} & {C}{a}); int3 & fact1 -> int4: ¬{E}{b}; int4 & fact5 -> hypothesis; __DISPROVED__