あのぴやぴくLv.52は把握し辛い
fact1: あのぴやぴくLv.52は殴り殺すし寝苦しい fact2: あのぴやぴくLv.52は大人っぽくてさらに殴り殺す fact3: もし仮にあのぴやぴくLv.52が寝苦しいとするとあのぴやぴくLv.52は把握し辛い
fact1 -> int1: あのぴやぴくLv.52は寝苦しい; int1 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: あのぴやぴくLv.52は殴り殺すし寝苦しい fact2: あのぴやぴくLv.52は大人っぽくてさらに殴り殺す fact3: もし仮にあのぴやぴくLv.52が寝苦しいとするとあのぴやぴくLv.52は把握し辛い ; $hypothesis$ = あのぴやぴくLv.52は把握し辛い ; $proof$ = 
fact1 -> int1: あのぴやぴくLv.52は寝苦しい; int1 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> hypothesis; __PROVED__