「仮に「低くないししかも浅くない」ということは成り立たないなら新しくない」モンスターはいる
fact1: もしも「あのもやものLv.82は低くないししかも浅くない」ということは成り立たないとすればあのもやものLv.82は新しいということはない fact2: 「「もし仮に「低いということはない一方で浅い」ということは成り立たないとすれば「新しくない」ということは事実な」モンスターはいる」ということは正しい fact3: もし仮に「とあるモンスターは溶かし出さないししかも迷い易くない」ということは成り立たないとしたら安堵し難くない fact4: もし「このもちゅものLv.71は発生し得るということはないしそれに再生産しない」ということは成り立たないとしたら新しい fact5: 「もし仮に「咀嚼しないし勿体無くない」ということは嘘だとすると様良しということはない」モンスターはいる fact6: もし「なにがしかのモンスターは受け持ちしなくてさらに御早くない」ということは事実だということはないとすればそれは舞い下りない
fact1 -> hypothesis;
fact1 -> hypothesis;
「もしも「受け持ちしなくてそれに御早くない」ということは誤っているとしたら舞い下りない」モンスターはいる
fact7 -> int1: もし仮に「そのもわもやLv.65は受け持ちしないしその上御早くない」ということは事実と異なるとすればそのもわもやLv.65は舞い下りない; int1 -> hypothesis;
$facts$ = fact1: もしも「あのもやものLv.82は低くないししかも浅くない」ということは成り立たないとすればあのもやものLv.82は新しいということはない fact2: 「「もし仮に「低いということはない一方で浅い」ということは成り立たないとすれば「新しくない」ということは事実な」モンスターはいる」ということは正しい fact3: もし仮に「とあるモンスターは溶かし出さないししかも迷い易くない」ということは成り立たないとしたら安堵し難くない fact4: もし「このもちゅものLv.71は発生し得るということはないしそれに再生産しない」ということは成り立たないとしたら新しい fact5: 「もし仮に「咀嚼しないし勿体無くない」ということは嘘だとすると様良しということはない」モンスターはいる fact6: もし「なにがしかのモンスターは受け持ちしなくてさらに御早くない」ということは事実だということはないとすればそれは舞い下りない ; $hypothesis$ = 「仮に「低くないししかも浅くない」ということは成り立たないなら新しくない」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__