「「もし「訝しいけれど柔らかくない」ということは誤りなら切り裂ける」モンスターはいる」ということは成り立たない
fact1: 「仮に「何らかのモンスターは丸呑みするけど名高いということはない」ということは偽ならばタイトルらしい」ということは事実だ fact2: 仮にこのみなみなLv.71が柔らかいとしたらそれは切り裂ける
「もしも「丸呑みするがしかし名高くない」ということは成り立たないならばタイトルらしい」モンスターはいる
fact3 -> int1: もし仮に「このまなまにLv.28は丸呑みする一方で名高いということはない」ということは誤りだとすればタイトルらしい; int1 -> hypothesis;
$facts$ = fact1: 「仮に「何らかのモンスターは丸呑みするけど名高いということはない」ということは偽ならばタイトルらしい」ということは事実だ fact2: 仮にこのみなみなLv.71が柔らかいとしたらそれは切り裂ける ; $hypothesis$ = 「「もし「訝しいけれど柔らかくない」ということは誤りなら切り裂ける」モンスターはいる」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__