そのぽにゅぽいLv.88は鈍くない
fact1: そのぽにゅぽいLv.88が依頼出来るなら行儀良い fact2: そのぽにゅぽいLv.88は見え易い fact3: もしそのぽにゅぽいLv.88が見え易いならそのぽにゅぽいLv.88は依頼出来る fact4: そのぽにゅぽいLv.88が行儀良いならばそのぽにゅぽいLv.88は鈍い
fact3 & fact2 -> int1: 「そのぽにゅぽいLv.88は依頼出来る」ということは成り立つ; int1 & fact1 -> int2: そのぽにゅぽいLv.88は行儀良い; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: そのぽにゅぽいLv.88が依頼出来るなら行儀良い fact2: そのぽにゅぽいLv.88は見え易い fact3: もしそのぽにゅぽいLv.88が見え易いならそのぽにゅぽいLv.88は依頼出来る fact4: そのぽにゅぽいLv.88が行儀良いならばそのぽにゅぽいLv.88は鈍い ; $hypothesis$ = そのぽにゅぽいLv.88は鈍くない ; $proof$ = 
fact3 & fact2 -> int1: 「そのぽにゅぽいLv.88は依頼出来る」ということは成り立つ; int1 & fact1 -> int2: そのぽにゅぽいLv.88は行儀良い; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__