「「もしも「紫外線照射するかあるいは判断し難くないかもしくはどちらもだ」ということは嘘だとすれば黒しない」モンスターはいる」ということは本当である
fact1: 「もしも接近し易いかあるいは発揮し難くないかもしくは両方であるとすると知らせ合わない」モンスターはいる fact2: もしも「あのぽちゃぽなLv.84は紫外線照射するかもしくは判断し難くない」ということは本当でないとするとそれは黒し fact3: もし「あるモンスターは逆らえるかもしくは生易しくないかあるいは両方である」ということは成り立たないならば素晴らしない fact4: 「「紫外線照射するかまたは判断し難くないかあるいは両方ともだ」ということは間違いであるとすると黒し」モンスターはいる fact5: もし仮に「あのぽちゃぽなLv.84は紫外線照射するかあるいは判断し難い」ということは事実と異なるとすれば「黒しない」ということは成り立つ fact6: 仮に「あのぽちゃぽなLv.84は紫外線照射するか判断し難くないか両方ともである」ということは成り立たないならあのぽちゃぽなLv.84は黒しない
fact6 -> hypothesis;
fact6 -> hypothesis;
「もし「逆らえるかまたは生易しくないかあるいは両方だ」ということは偽だとしたら「素晴らしない」ということは事実な」モンスターはいる
fact7 -> int1: 「「あのぴえぴいLv.6は逆らえるかあるいは生易しいということはない」ということは事実だ」ということは間違いであるならあのぴえぴいLv.6は素晴らしない; int1 -> hypothesis;
$facts$ = fact1: 「もしも接近し易いかあるいは発揮し難くないかもしくは両方であるとすると知らせ合わない」モンスターはいる fact2: もしも「あのぽちゃぽなLv.84は紫外線照射するかもしくは判断し難くない」ということは本当でないとするとそれは黒し fact3: もし「あるモンスターは逆らえるかもしくは生易しくないかあるいは両方である」ということは成り立たないならば素晴らしない fact4: 「「紫外線照射するかまたは判断し難くないかあるいは両方ともだ」ということは間違いであるとすると黒し」モンスターはいる fact5: もし仮に「あのぽちゃぽなLv.84は紫外線照射するかあるいは判断し難い」ということは事実と異なるとすれば「黒しない」ということは成り立つ fact6: 仮に「あのぽちゃぽなLv.84は紫外線照射するか判断し難くないか両方ともである」ということは成り立たないならあのぽちゃぽなLv.84は黒しない ; $hypothesis$ = 「「もしも「紫外線照射するかあるいは判断し難くないかもしくはどちらもだ」ということは嘘だとすれば黒しない」モンスターはいる」ということは本当である ; $proof$ = 
fact6 -> hypothesis; __PROVED__
fact6 -> hypothesis; __PROVED__