そのぴにぴやLv.17は憎たらしい
fact1: そのぴにぴやLv.17は取り掛かり易い fact2: 「そのぷちょぷにゃLv.47は取り掛かり易くなくてしかもしょっぱくない」ということは本当だということはないとしたらそのぽにぽにょLv.66は生き抜けない fact3: 「あのぷにょぷちょLv.57は生き抜ける」ということは誤っていない fact4: 「とあるモンスターは赤い」ということは成り立つとするとそれは生き抜ける fact5: そのぴにぴやLv.17は根気良い fact6: もしそのぴにぴやLv.17が取り掛かり易くて更に生き抜けるならそのぴにぴやLv.17は憎たらしくない fact7: そのぽにぽにょLv.66は憎たらしくない
fact4 -> int1: もしそのぴにぴやLv.17が赤いとするとそのぴにぴやLv.17は生き抜ける;
fact4 -> int1: {A}{a} -> {B}{a};
そのぴにぴやLv.17は憎たらしい
$facts$ = fact1: そのぴにぴやLv.17は取り掛かり易い fact2: 「そのぷちょぷにゃLv.47は取り掛かり易くなくてしかもしょっぱくない」ということは本当だということはないとしたらそのぽにぽにょLv.66は生き抜けない fact3: 「あのぷにょぷちょLv.57は生き抜ける」ということは誤っていない fact4: 「とあるモンスターは赤い」ということは成り立つとするとそれは生き抜ける fact5: そのぴにぴやLv.17は根気良い fact6: もしそのぴにぴやLv.17が取り掛かり易くて更に生き抜けるならそのぴにぴやLv.17は憎たらしくない fact7: そのぽにぽにょLv.66は憎たらしくない ; $hypothesis$ = そのぴにぴやLv.17は憎たらしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__