このぷくぷくLv.31は使い辛くない
fact1: そのぴにょぴにゃLv.84は身請けするし楽し fact2: 「あのもにょものLv.72は彼らしい」ということは成り立つ fact3: もしそのぴにょぴにゃLv.84が生え易くてそれが彼らしいとしたらこのぷくぷくLv.31は使い辛くない fact4: そのぴにょぴにゃLv.84は彼らしい
fact1 -> int1: そのぴにょぴにゃLv.84は楽し;
fact1 -> int1: {A}{a};
$facts$ = fact1: そのぴにょぴにゃLv.84は身請けするし楽し fact2: 「あのもにょものLv.72は彼らしい」ということは成り立つ fact3: もしそのぴにょぴにゃLv.84が生え易くてそれが彼らしいとしたらこのぷくぷくLv.31は使い辛くない fact4: そのぴにょぴにゃLv.84は彼らしい ; $hypothesis$ = このぷくぷくLv.31は使い辛くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__