「あのぴにゃぴよLv.59は忘れるし物寂しい」ということは本当だ
fact1: もし「「何らかのモンスターは来難くないし加えて現示しない」ということは正しい」ということは真実でないならそれは忘れる fact2: 「あのぴにゃぴよLv.59は来難くないけど現示する」ということは間違いである fact3: もしもあのぴにゃぴよLv.59が現示するとすると忘れる fact4: 「あのぴにゃぴよLv.59は来難いということはないし現示しない」ということは成り立たない fact5: とあるモンスターが現示すれば忘れる fact6: あのぴにゃぴよLv.59は物寂しい
fact1 -> int1: もし「あのぴにゃぴよLv.59は来難くなくて加えて現示しない」ということは偽だとしたらあのぴにゃぴよLv.59は忘れる; int1 & fact4 -> int2: あのぴにゃぴよLv.59は忘れる; int2 & fact6 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact6 -> hypothesis;
$facts$ = fact1: もし「「何らかのモンスターは来難くないし加えて現示しない」ということは正しい」ということは真実でないならそれは忘れる fact2: 「あのぴにゃぴよLv.59は来難くないけど現示する」ということは間違いである fact3: もしもあのぴにゃぴよLv.59が現示するとすると忘れる fact4: 「あのぴにゃぴよLv.59は来難いということはないし現示しない」ということは成り立たない fact5: とあるモンスターが現示すれば忘れる fact6: あのぴにゃぴよLv.59は物寂しい ; $hypothesis$ = 「あのぴにゃぴよLv.59は忘れるし物寂しい」ということは本当だ ; $proof$ = 
fact1 -> int1: もし「あのぴにゃぴよLv.59は来難くなくて加えて現示しない」ということは偽だとしたらあのぴにゃぴよLv.59は忘れる; int1 & fact4 -> int2: あのぴにゃぴよLv.59は忘れる; int2 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact6 -> hypothesis; __PROVED__