「あのまねまねLv.73は溢るないししかも言い易いということはない」ということは間違っている
fact1: もし「あるモンスターは身動ぎするけど儚しない」ということは成り立たないとすると疑わしない fact2: それは身動ぎするし儚しないというモンスターはない fact3: 全てのモンスターは浅くない fact4: 全てのモンスターは溢るないしそれに言い易いということはない fact5: いとおしいモンスターは目新しくないけど済ま無い fact6: もしもあるモンスターは済ま無いとすると「それは溢るないし加えて言い易くない」ということは嘘だ
fact4 -> int1: 全てのモンスターは溢るないしそれに言い易いということはない; int1 -> hypothesis;
fact4 -> int1: (x): (¬{AA}x & ¬{AB}x); int1 -> hypothesis;
「あのまねまねLv.73は溢るないししかも言い易いということはない」ということは間違っている
fact7 -> int2: もし仮にあのまねまねLv.73は済ま無いとすると「あのまねまねLv.73は溢るないし更に言い易くない」ということは成り立たない;
$facts$ = fact1: もし「あるモンスターは身動ぎするけど儚しない」ということは成り立たないとすると疑わしない fact2: それは身動ぎするし儚しないというモンスターはない fact3: 全てのモンスターは浅くない fact4: 全てのモンスターは溢るないしそれに言い易いということはない fact5: いとおしいモンスターは目新しくないけど済ま無い fact6: もしもあるモンスターは済ま無いとすると「それは溢るないし加えて言い易くない」ということは嘘だ ; $hypothesis$ = 「あのまねまねLv.73は溢るないししかも言い易いということはない」ということは間違っている ; $proof$ = 
fact4 -> int1: 全てのモンスターは溢るないしそれに言い易いということはない; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): (¬{AA}x & ¬{AB}x); int1 -> hypothesis; __DISPROVED__