そのぴにょぴゆLv.21は免れ難くない
fact1: もし仮にそのぴにょぴゆLv.21が淡いが優しないとすればあのぴなぴやLv.65は免れ難い fact2: あのぴなぴやLv.65は優しない fact3: もしもあのぴなぴやLv.65が優しないとしたらそれは淡くない fact4: 「あのぴなぴやLv.65は相争わない」ということは成り立つ fact5: 仮にあのぴなぴやLv.65が優しないなら繰り下がる一方で淡くない fact6: あのぴなぴやLv.65が優しが免れ難くないとするとそのぴにょぴゆLv.21は淡い
fact5 & fact2 -> int1: 「あのぴなぴやLv.65は繰り下がるけれどそれは淡くない」ということは成り立つ;
fact5 & fact2 -> int1: ({AA}{a} & ¬{AB}{a});
$facts$ = fact1: もし仮にそのぴにょぴゆLv.21が淡いが優しないとすればあのぴなぴやLv.65は免れ難い fact2: あのぴなぴやLv.65は優しない fact3: もしもあのぴなぴやLv.65が優しないとしたらそれは淡くない fact4: 「あのぴなぴやLv.65は相争わない」ということは成り立つ fact5: 仮にあのぴなぴやLv.65が優しないなら繰り下がる一方で淡くない fact6: あのぴなぴやLv.65が優しが免れ難くないとするとそのぴにょぴゆLv.21は淡い ; $hypothesis$ = そのぴにょぴゆLv.21は免れ難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__