そのぽのぽよLv.84は作り捲るしぱちくりする
fact1: そのぽのぽよLv.84は作り捲る fact2: そのぽのぽよLv.84が御悪いならばそれは要す fact3: そのぽのぽよLv.84は御悪い
fact2 & fact3 -> int1: そのぽのぽよLv.84は要す;
fact2 & fact3 -> int1: {B}{a};
$facts$ = fact1: そのぽのぽよLv.84は作り捲る fact2: そのぽのぽよLv.84が御悪いならばそれは要す fact3: そのぽのぽよLv.84は御悪い ; $hypothesis$ = そのぽのぽよLv.84は作り捲るしぱちくりする ; $proof$ = 
__UNKNOWN__
__UNKNOWN__