あのぴのぴよLv.20は残り難い
fact1: 「油っぽくない」モンスターはいる fact2: あのぴのぴよLv.20が生まれ易いならあのぴのぴよLv.20は残り難い fact3: すべてのモンスターは残り難くないかまたは油っぽくないかまたは両方ともだ fact4: 忘れ易くないモンスターは残り難くない fact5: 仮にあのぴのぴよLv.20が忘れ易いとしたらあのぴのぴよLv.20は生まれ易い
あのぴのぴよLv.20は残り難いということはない
fact6 -> int1: 仮に「あのぴのぴよLv.20は忘れ易くない」ということは確かであるとすれば残り難くない;
$facts$ = fact1: 「油っぽくない」モンスターはいる fact2: あのぴのぴよLv.20が生まれ易いならあのぴのぴよLv.20は残り難い fact3: すべてのモンスターは残り難くないかまたは油っぽくないかまたは両方ともだ fact4: 忘れ易くないモンスターは残り難くない fact5: 仮にあのぴのぴよLv.20が忘れ易いとしたらあのぴのぴよLv.20は生まれ易い ; $hypothesis$ = あのぴのぴよLv.20は残り難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__