あのぴよぴやLv.18は手緩い
fact1: もし仮に「あのぴにゃぴわLv.96は消えないがしかし白々しい」ということは嘘なら「接近し易い」ということは正しい fact2: もし「「吸収し易い」ということは成り立つ」モンスターがいるとしたらこのもちゅもちゅLv.30は白々しくない fact3: もしあのぴにゃぴわLv.96は接近し易いなら「あのぴよぴやLv.18は手緩い」ということは成り立つ fact4: このみいみちょLv.22は吸収し易い fact5: もしも「このもちゅもちゅLv.30は白々しくない」ということは真実であるとすれば「あのぴにゃぴわLv.96は消えるしさらに白々しい」ということは嘘だ
fact4 -> int1: 「「吸収し易い」ということは事実な」モンスターはいる; int1 & fact2 -> int2: このもちゅもちゅLv.30は白々しくない;
fact4 -> int1: (Ex): {A}x; int1 & fact2 -> int2: ¬{B}{a};
$facts$ = fact1: もし仮に「あのぴにゃぴわLv.96は消えないがしかし白々しい」ということは嘘なら「接近し易い」ということは正しい fact2: もし「「吸収し易い」ということは成り立つ」モンスターがいるとしたらこのもちゅもちゅLv.30は白々しくない fact3: もしあのぴにゃぴわLv.96は接近し易いなら「あのぴよぴやLv.18は手緩い」ということは成り立つ fact4: このみいみちょLv.22は吸収し易い fact5: もしも「このもちゅもちゅLv.30は白々しくない」ということは真実であるとすれば「あのぴにゃぴわLv.96は消えるしさらに白々しい」ということは嘘だ ; $hypothesis$ = あのぴよぴやLv.18は手緩い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__