そのまなまねLv.55は掛け難くなくて更に真っ暗くない
fact1: あらゆるモンスターは置き易くないししかも覚束無くない fact2: 全てのモンスターは掛け難くないしまた真っ暗くない fact3: そのまなまねLv.55はぶっといということはない fact4: そのみにゅみにょLv.3は真っ暗くない fact5: 「そのまなまねLv.55はしつこいということはない」ということは真実である
fact2 -> int1: 全てのモンスターは掛け難くないしまた真っ暗くない; int1 -> hypothesis;
fact2 -> int1: (x): (¬{AA}x & ¬{AB}x); int1 -> hypothesis;
$facts$ = fact1: あらゆるモンスターは置き易くないししかも覚束無くない fact2: 全てのモンスターは掛け難くないしまた真っ暗くない fact3: そのまなまねLv.55はぶっといということはない fact4: そのみにゅみにょLv.3は真っ暗くない fact5: 「そのまなまねLv.55はしつこいということはない」ということは真実である ; $hypothesis$ = そのまなまねLv.55は掛け難くなくて更に真っ暗くない ; $proof$ = 
fact2 -> int1: 全てのモンスターは掛け難くないしまた真っ暗くない; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): (¬{AA}x & ¬{AB}x); int1 -> hypothesis; __PROVED__