「このぴよぴえLv.14は木目細かくないしその上知り難くない」ということは成り立たない
fact1: 「このみにょみにLv.25はされ易いがそれは親らしくない」ということは成り立たない fact2: それは木目細かくなくてかつ知り難しということはないというモンスターはない fact3: あらゆるモンスターは気付き易くない
fact2 -> int1: それは木目細かくなくてかつ知り難しということはないというモンスターはない; int1 -> hypothesis;
fact2 -> int1: (x): ¬(¬{AA}x & ¬{AB}x); int1 -> hypothesis;
ださいということはないし手早くないというモンスターはない
fact4 -> int2: 「このぴよぴえLv.14は気付き易くない」ということは成り立つ;
$facts$ = fact1: 「このみにょみにLv.25はされ易いがそれは親らしくない」ということは成り立たない fact2: それは木目細かくなくてかつ知り難しということはないというモンスターはない fact3: あらゆるモンスターは気付き易くない ; $hypothesis$ = 「このぴよぴえLv.14は木目細かくないしその上知り難くない」ということは成り立たない ; $proof$ = 
fact2 -> int1: それは木目細かくなくてかつ知り難しということはないというモンスターはない; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): ¬(¬{AA}x & ¬{AB}x); int1 -> hypothesis; __PROVED__