「そのぽちゅぽちょLv.80は発達するしさらに長し」ということは成り立つということはない
fact1: そのぽちゅぽちょLv.80は長し fact2: 厚かましくないモンスターは発達するしその上長し fact3: 弱々しいモンスターが発たないとすると発達する
fact3 -> int1: もしそのぽちゅぽちょLv.80が弱々しいけれど発たないならばそのぽちゅぽちょLv.80は発達する;
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa};
このぽにぽちゃLv.86は長し
fact4 -> int2: もしこのぽにぽちゃLv.86が厚かましくないなら発達するしその上長し;
$facts$ = fact1: そのぽちゅぽちょLv.80は長し fact2: 厚かましくないモンスターは発達するしその上長し fact3: 弱々しいモンスターが発たないとすると発達する ; $hypothesis$ = 「そのぽちゅぽちょLv.80は発達するしさらに長し」ということは成り立つということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__