あのぽねぽくLv.80は生まれ難くない
fact1: もし仮にあのぽねぽくLv.80が離婚出来るとしたらこのもよもくLv.96は離婚出来る fact2: このみなみにゃLv.96は飾り付けるしさらにそれは痛ーい fact3: 「あのぽねぽくLv.80は痛ーい」ということは成り立つ fact4: もしこのみなみにゃLv.96が早しならばあのぽねぽくLv.80は生まれ難い fact5: あのぽねぽくLv.80は離婚出来る
fact2 -> int1: このみなみにゃLv.96は痛ーい;
fact2 -> int1: {B}{a};
このもよもくLv.96は離婚出来るししかもそれは生まれ難い
fact7 & fact6 -> int2: このもよもくLv.96は離婚出来る;
$facts$ = fact1: もし仮にあのぽねぽくLv.80が離婚出来るとしたらこのもよもくLv.96は離婚出来る fact2: このみなみにゃLv.96は飾り付けるしさらにそれは痛ーい fact3: 「あのぽねぽくLv.80は痛ーい」ということは成り立つ fact4: もしこのみなみにゃLv.96が早しならばあのぽねぽくLv.80は生まれ難い fact5: あのぽねぽくLv.80は離婚出来る ; $hypothesis$ = あのぽねぽくLv.80は生まれ難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__