「「もし仮に名高いとすれば「久しないししかも雄々しくない」ということは誤りな」モンスターはいる」ということは成り立つということはない
fact1: もし「このまくまなLv.30は名高い」ということは偽でないとしたら「「このまくまなLv.30は久しないしその上雄々しくない」ということは事実と異なる」ということは成り立つ fact2: もしも何らかのモンスターは説明し難いなら「清々しくないしそれにそれは倒れ難くない」ということは成り立たない fact3: 「名高いならば「久しということはない一方で雄々しい」ということは確かであるということはない」モンスターはいる fact4: 仮にあのもいもくLv.80は幼けないとすると「勝ち得るしそれにむさくるしくない」ということは偽だ
fact1 -> hypothesis;
fact1 -> hypothesis;
「もしも説明し難いならば「清々しくないしさらに倒れ難くない」ということは成り立たない」モンスターはいる
fact5 -> int1: このもいもくLv.25は説明し難いとすれば「清々しくなくてそれに倒れ難いということはない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もし「このまくまなLv.30は名高い」ということは偽でないとしたら「「このまくまなLv.30は久しないしその上雄々しくない」ということは事実と異なる」ということは成り立つ fact2: もしも何らかのモンスターは説明し難いなら「清々しくないしそれにそれは倒れ難くない」ということは成り立たない fact3: 「名高いならば「久しということはない一方で雄々しい」ということは確かであるということはない」モンスターはいる fact4: 仮にあのもいもくLv.80は幼けないとすると「勝ち得るしそれにむさくるしくない」ということは偽だ ; $hypothesis$ = 「「もし仮に名高いとすれば「久しないししかも雄々しくない」ということは誤りな」モンスターはいる」ということは成り立つということはない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
fact1 -> hypothesis; __DISPROVED__