「もし文字化するとすると「出来難くなくてそれに著しくない」ということは誤っている」モンスターはいる
fact1: 「もし文字化すれば「出来難くて加えて著しいということはない」ということは事実でない」モンスターはいる fact2: もし仮にそのもやもちゅLv.86は文字化するとしたら「それは出来難いが著しくない」ということは間違いである fact3: 「もし仮に文字化すれば出来難くなくてまた著しくない」モンスターはいる fact4: 「もし文字化するとすれば「出来難くなくてその上著しい」ということは誤りな」モンスターはいる fact5: もしもそのもやもちゅLv.86は文字化するとすれば「出来難いということはないけれど著しい」ということは偽だ fact6: もし「そのもやもちゅLv.86は文字化する」ということは本当だとしたら「そのもやもちゅLv.86は出来難くなくてそれは著しくない」ということは事実でない
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: 「もし文字化すれば「出来難くて加えて著しいということはない」ということは事実でない」モンスターはいる fact2: もし仮にそのもやもちゅLv.86は文字化するとしたら「それは出来難いが著しくない」ということは間違いである fact3: 「もし仮に文字化すれば出来難くなくてまた著しくない」モンスターはいる fact4: 「もし文字化するとすれば「出来難くなくてその上著しい」ということは誤りな」モンスターはいる fact5: もしもそのもやもちゅLv.86は文字化するとすれば「出来難いということはないけれど著しい」ということは偽だ fact6: もし「そのもやもちゅLv.86は文字化する」ということは本当だとしたら「そのもやもちゅLv.86は出来難くなくてそれは著しくない」ということは事実でない ; $hypothesis$ = 「もし文字化するとすると「出来難くなくてそれに著しくない」ということは誤っている」モンスターはいる ; $proof$ = 
fact6 -> hypothesis; __PROVED__
fact6 -> hypothesis; __PROVED__