そのまにまちゃLv.11は得難し
fact1: あのぽねぽにLv.78は灯し難くて戻り為さる fact2: もし仮にあのぽねぽにLv.78が灯し難いとするとそれは可愛い
fact1 -> int1: あのぽねぽにLv.78は灯し難い; int1 & fact2 -> int2: あのぽねぽにLv.78は可愛い;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a};
$facts$ = fact1: あのぽねぽにLv.78は灯し難くて戻り為さる fact2: もし仮にあのぽねぽにLv.78が灯し難いとするとそれは可愛い ; $hypothesis$ = そのまにまちゃLv.11は得難し ; $proof$ = 
__UNKNOWN__
__UNKNOWN__