あのぷいぷにゃLv.37は捕らわれ易くない
fact1: そのもねもいLv.68は憂くないけれど仕舞い易い fact2: このぽちゃぽにゃLv.13は作り易くない
fact1 -> int1: 「そのもねもいLv.68は憂くない」ということは真実である; int1 -> int2: そのもねもいLv.68は憂いということはないかあるいは作り易い;
fact1 -> int1: ¬{A}{a}; int1 -> int2: (¬{A}{a} v {C}{a});
$facts$ = fact1: そのもねもいLv.68は憂くないけれど仕舞い易い fact2: このぽちゃぽにゃLv.13は作り易くない ; $hypothesis$ = あのぷいぷにゃLv.37は捕らわれ易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__