あのぴなぴにゃLv.26は春らしくない
fact1: あのまわまにゃLv.92は良くて浮き易い
fact1 -> int1: あのまわまにゃLv.92は良い; int1 -> int2: あのまわまにゃLv.92は吸収され易いかあるいはそれは良い;
fact1 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a});
$facts$ = fact1: あのまわまにゃLv.92は良くて浮き易い ; $hypothesis$ = あのぴなぴにゃLv.26は春らしくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__