このまにゅまにゃLv.99は眩しくない
fact1: もしそのもやもいLv.90は成文化するとしたら「あのみのみくLv.9は薄明るくないし眩しいということはない」ということは偽でない fact2: もしもそのもやもいLv.90が高しとすればこのまにゅまにゃLv.99は眩しい fact3: もしも「あるモンスターは面倒臭い」ということは真実であるならそれは成文化する fact4: そのぷにぷゆLv.21はみっともない fact5: もし仮にこのまにゅまにゃLv.99はみっともないということはないとすれば「そのぷにぷゆLv.21は眩しくない」ということは成り立つ fact6: 眩しくないモンスターは高ししみっともない
あのみのみくLv.9はみっともない
fact7 -> int1: 「もし仮にあのみのみくLv.9が眩しくないとしたらあのみのみくLv.9は高しし加えてみっともない」ということは正しい; fact9 -> int2: もし仮にそのもやもいLv.90が面倒臭いとしたらそのもやもいLv.90は成文化する;
$facts$ = fact1: もしそのもやもいLv.90は成文化するとしたら「あのみのみくLv.9は薄明るくないし眩しいということはない」ということは偽でない fact2: もしもそのもやもいLv.90が高しとすればこのまにゅまにゃLv.99は眩しい fact3: もしも「あるモンスターは面倒臭い」ということは真実であるならそれは成文化する fact4: そのぷにぷゆLv.21はみっともない fact5: もし仮にこのまにゅまにゃLv.99はみっともないということはないとすれば「そのぷにぷゆLv.21は眩しくない」ということは成り立つ fact6: 眩しくないモンスターは高ししみっともない ; $hypothesis$ = このまにゅまにゃLv.99は眩しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__