そのみゆみにょLv.52は見難くない
fact1: 馴染み深いモンスターは崩れ易い fact2: 「このまちゃまにょLv.58は悪しないがしかしそれは嫌らしい」ということは間違いであるならばそれは崩れ易いということはない fact3: 崩れ易いモンスターは抗し難いが見難くない fact4: このぽちょぽにょLv.94は抗し難くない fact5: もしもそのぴゆぴにゃLv.0は馴染み深いとしたら「そのみゆみにょLv.52は見難い」ということは事実である fact6: もしこのぽちょぽにょLv.94が抗し難いが見難くないとするとそのみゆみにょLv.52は見難くない fact7: 仮にこのぽちょぽにょLv.94は抗し難くないならば「このまちゃまにょLv.58は悪しないけれど嫌らしい」ということは成り立つということはない fact8: もしもこのまちゃまにょLv.58が崩れ易くないとすればそのぴゆぴにゃLv.0は汚れ易いということはないけれど馴染み深い
fact7 & fact4 -> int1: 「このまちゃまにょLv.58は悪しないけれど嫌らしい」ということは成り立つということはない; int1 & fact2 -> int2: このまちゃまにょLv.58は崩れ易いということはない; int2 & fact8 -> int3: そのぴゆぴにゃLv.0は汚れ易くない一方でそれは馴染み深い; int3 -> int4: そのぴゆぴにゃLv.0は馴染み深い; int4 & fact5 -> hypothesis;
fact7 & fact4 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact2 -> int2: ¬{B}{b}; int2 & fact8 -> int3: (¬{D}{c} & {C}{c}); int3 -> int4: {C}{c}; int4 & fact5 -> hypothesis;
そのみゆみにょLv.52は見難くない
fact10 -> int5: もしもこのぽちょぽにょLv.94が崩れ易いならこのぽちょぽにょLv.94は抗し難いがそれは見難いということはない; fact9 -> int6: もしもこのぽちょぽにょLv.94が馴染み深いならこのぽちょぽにょLv.94は崩れ易い;
$facts$ = fact1: 馴染み深いモンスターは崩れ易い fact2: 「このまちゃまにょLv.58は悪しないがしかしそれは嫌らしい」ということは間違いであるならばそれは崩れ易いということはない fact3: 崩れ易いモンスターは抗し難いが見難くない fact4: このぽちょぽにょLv.94は抗し難くない fact5: もしもそのぴゆぴにゃLv.0は馴染み深いとしたら「そのみゆみにょLv.52は見難い」ということは事実である fact6: もしこのぽちょぽにょLv.94が抗し難いが見難くないとするとそのみゆみにょLv.52は見難くない fact7: 仮にこのぽちょぽにょLv.94は抗し難くないならば「このまちゃまにょLv.58は悪しないけれど嫌らしい」ということは成り立つということはない fact8: もしもこのまちゃまにょLv.58が崩れ易くないとすればそのぴゆぴにゃLv.0は汚れ易いということはないけれど馴染み深い ; $hypothesis$ = そのみゆみにょLv.52は見難くない ; $proof$ = 
fact7 & fact4 -> int1: 「このまちゃまにょLv.58は悪しないけれど嫌らしい」ということは成り立つということはない; int1 & fact2 -> int2: このまちゃまにょLv.58は崩れ易いということはない; int2 & fact8 -> int3: そのぴゆぴにゃLv.0は汚れ易くない一方でそれは馴染み深い; int3 -> int4: そのぴゆぴにゃLv.0は馴染み深い; int4 & fact5 -> hypothesis; __DISPROVED__
fact7 & fact4 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact2 -> int2: ¬{B}{b}; int2 & fact8 -> int3: (¬{D}{c} & {C}{c}); int3 -> int4: {C}{c}; int4 & fact5 -> hypothesis; __DISPROVED__