あのぽなぽやLv.16は少なくてそれに偏り易い
fact1: 「色好いということはない」モンスターはいる fact2: 「「色好い」ということは本当である」モンスターはいる fact3: あのぽなぽやLv.16は偏り易い fact4: もしあのぷちょぷくLv.18が建て込めばあのぽなぽやLv.16は少ない fact5: もしも何らかのモンスターが色好いということはないならばあのぷちょぷくLv.18は建て込む
fact1 & fact5 -> int1: あのぷちょぷくLv.18は建て込む; int1 & fact4 -> int2: あのぽなぽやLv.16は少ない; int2 & fact3 -> hypothesis;
fact1 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 「色好いということはない」モンスターはいる fact2: 「「色好い」ということは本当である」モンスターはいる fact3: あのぽなぽやLv.16は偏り易い fact4: もしあのぷちょぷくLv.18が建て込めばあのぽなぽやLv.16は少ない fact5: もしも何らかのモンスターが色好いということはないならばあのぷちょぷくLv.18は建て込む ; $hypothesis$ = あのぽなぽやLv.16は少なくてそれに偏り易い ; $proof$ = 
fact1 & fact5 -> int1: あのぷちょぷくLv.18は建て込む; int1 & fact4 -> int2: あのぽなぽやLv.16は少ない; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__