「「あのぽいぽえLv.59は溶け難いけど壊れ易くない」ということは偽である」ということは事実だ
fact1: もし仮にそのぴよぴちゃLv.18は点てるということはないとすると「酒臭いしそれにそれはしんどい」ということは偽だ fact2: もしもあのぽいぽえLv.59がしんどくないならそれは壊れ易くない fact3: もし仮にあのぽいぽえLv.59がしんどくないならば溶け難いけれど壊れ易くない fact4: そのぴよぴちゃLv.18は僻みっぽい fact5: そのぴよぴちゃLv.18はし辛い fact6: もしもそのぴよぴちゃLv.18が僻みっぽいしし辛いとするとあのぽいぽえLv.59はしんどくない fact7: もし仮にとあるモンスターは僻みっぽいとすると「溶け難いし加えてそれは壊れ易くない」ということは誤りだ
fact4 & fact5 -> int1: そのぴよぴちゃLv.18は僻みっぽいしし辛い; int1 & fact6 -> int2: あのぽいぽえLv.59はしんどくない; int2 & fact3 -> hypothesis;
fact4 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{b}; int2 & fact3 -> hypothesis;
「「あのぽいぽえLv.59は溶け難いけど壊れ易くない」ということは偽である」ということは事実だ
fact9 -> int3: 仮に「あのぽいぽえLv.59は僻みっぽい」ということは成り立つとしたら「あのぽいぽえLv.59は溶け難い一方で壊れ易いということはない」ということは間違いである;
$facts$ = fact1: もし仮にそのぴよぴちゃLv.18は点てるということはないとすると「酒臭いしそれにそれはしんどい」ということは偽だ fact2: もしもあのぽいぽえLv.59がしんどくないならそれは壊れ易くない fact3: もし仮にあのぽいぽえLv.59がしんどくないならば溶け難いけれど壊れ易くない fact4: そのぴよぴちゃLv.18は僻みっぽい fact5: そのぴよぴちゃLv.18はし辛い fact6: もしもそのぴよぴちゃLv.18が僻みっぽいしし辛いとするとあのぽいぽえLv.59はしんどくない fact7: もし仮にとあるモンスターは僻みっぽいとすると「溶け難いし加えてそれは壊れ易くない」ということは誤りだ ; $hypothesis$ = 「「あのぽいぽえLv.59は溶け難いけど壊れ易くない」ということは偽である」ということは事実だ ; $proof$ = 
fact4 & fact5 -> int1: そのぴよぴちゃLv.18は僻みっぽいしし辛い; int1 & fact6 -> int2: あのぽいぽえLv.59はしんどくない; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__