あのぽにぽくLv.14は勿体無い
fact1: 仮にあるモンスターが混血するしおまけに手痛いとすれば勿体無いということはない fact2: もしこのぽわぽちょLv.29が勿体無くないとすればこのぷよぷねLv.18は手痛いし混血する fact3: このぽわぽちょLv.29は手痛い fact4: このぽわぽちょLv.29が混血するとすればあのぽにぽくLv.14は勿体無い fact5: このぽわぽちょLv.29は手痛いしその上混血する
fact5 -> int1: このぽわぽちょLv.29は混血する; int1 & fact4 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
このぷよぷねLv.18は手痛い
$facts$ = fact1: 仮にあるモンスターが混血するしおまけに手痛いとすれば勿体無いということはない fact2: もしこのぽわぽちょLv.29が勿体無くないとすればこのぷよぷねLv.18は手痛いし混血する fact3: このぽわぽちょLv.29は手痛い fact4: このぽわぽちょLv.29が混血するとすればあのぽにぽくLv.14は勿体無い fact5: このぽわぽちょLv.29は手痛いしその上混血する ; $hypothesis$ = あのぽにぽくLv.14は勿体無い ; $proof$ = 
fact5 -> int1: このぽわぽちょLv.29は混血する; int1 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact4 -> hypothesis; __PROVED__