「そのみにゃみなLv.80はとろ臭いし加えて当たり難い」ということは偽だ
fact1: そのぴちゅぴちゃLv.44は手荒い fact2: そのぽにぽいLv.32が尤もらしいとするとこのぷゆぷにゅLv.91は長細い fact3: そのぽにぽいLv.32は長細い fact4: もし仮にこのぷゆぷにゅLv.91が極まりないとしたらそのみにゃみなLv.80はとろ臭い fact5: このぷゆぷにゅLv.91は長細いとすると「このぷゆぷにゅLv.91は極まりない」ということは成り立つ fact6: もし何らかのモンスターは手荒くないとすれば「それはとろ臭いし更に当たり難い」ということは成り立たない fact7: そのみにゃみなLv.80は当たり難い fact8: もし「そのぴちゅぴちゃLv.44は手荒い」ということは正しいならばそのぽにぽいLv.32は尤もらしい
fact8 & fact1 -> int1: そのぽにぽいLv.32は尤もらしい; int1 & fact2 -> int2: このぷゆぷにゅLv.91は長細い; int2 & fact5 -> int3: このぷゆぷにゅLv.91は極まりない; int3 & fact4 -> int4: そのみにゃみなLv.80はとろ臭い; int4 & fact7 -> hypothesis;
fact8 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact5 -> int3: {D}{c}; int3 & fact4 -> int4: {E}{d}; int4 & fact7 -> hypothesis;
「そのみにゃみなLv.80はとろ臭いし加えて当たり難い」ということは偽だ
fact9 -> int5: そのぴちゅぴちゃLv.44は手荒くないとしたら「そのぴちゅぴちゃLv.44がとろ臭いしその上当たり難い」ということは真実でない;
$facts$ = fact1: そのぴちゅぴちゃLv.44は手荒い fact2: そのぽにぽいLv.32が尤もらしいとするとこのぷゆぷにゅLv.91は長細い fact3: そのぽにぽいLv.32は長細い fact4: もし仮にこのぷゆぷにゅLv.91が極まりないとしたらそのみにゃみなLv.80はとろ臭い fact5: このぷゆぷにゅLv.91は長細いとすると「このぷゆぷにゅLv.91は極まりない」ということは成り立つ fact6: もし何らかのモンスターは手荒くないとすれば「それはとろ臭いし更に当たり難い」ということは成り立たない fact7: そのみにゃみなLv.80は当たり難い fact8: もし「そのぴちゅぴちゃLv.44は手荒い」ということは正しいならばそのぽにぽいLv.32は尤もらしい ; $hypothesis$ = 「そのみにゃみなLv.80はとろ臭いし加えて当たり難い」ということは偽だ ; $proof$ = 
fact8 & fact1 -> int1: そのぽにぽいLv.32は尤もらしい; int1 & fact2 -> int2: このぷゆぷにゅLv.91は長細い; int2 & fact5 -> int3: このぷゆぷにゅLv.91は極まりない; int3 & fact4 -> int4: そのみにゃみなLv.80はとろ臭い; int4 & fact7 -> hypothesis; __DISPROVED__
fact8 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact5 -> int3: {D}{c}; int3 & fact4 -> int4: {E}{d}; int4 & fact7 -> hypothesis; __DISPROVED__