「「「「空恐ろしくないかあるいは待ち伏せしないかもしくはどちらもだ」ということは成り立つということはないとすれば「聡い」ということは本当な」モンスターはいる」ということは事実である」ということは成り立たない
fact1: 仮に「このまいまいLv.41は聡くないかまたは雄々しいということはない」ということは成り立つなら卑し fact2: もし「なんらかのモンスターは日本人らしいということはないかあるいは覚え難くないかあるいは両方ともだ」ということは成り立たないとすればそれは上がり過ぎる fact3: もし「とあるモンスターは黴臭いかまたは仕方無しないかもしくは両方である」ということは成り立つということはないとすると「それは拙い」ということは確かだ fact4: 「もし仮に「なんらかのモンスターは空恐ろしくないかもしくは待ち伏せしない」ということは誤っているとすれば「聡い」ということは正しい」ということは本当である
fact4 -> int1: もし仮に「このぷちゅぷちゅLv.38は空恐ろしいということはないかあるいは待ち伏せしない」ということは間違っているなら聡い; int1 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮に「このまいまいLv.41は聡くないかまたは雄々しいということはない」ということは成り立つなら卑し fact2: もし「なんらかのモンスターは日本人らしいということはないかあるいは覚え難くないかあるいは両方ともだ」ということは成り立たないとすればそれは上がり過ぎる fact3: もし「とあるモンスターは黴臭いかまたは仕方無しないかもしくは両方である」ということは成り立つということはないとすると「それは拙い」ということは確かだ fact4: 「もし仮に「なんらかのモンスターは空恐ろしくないかもしくは待ち伏せしない」ということは誤っているとすれば「聡い」ということは正しい」ということは本当である ; $hypothesis$ = 「「「「空恐ろしくないかあるいは待ち伏せしないかもしくはどちらもだ」ということは成り立つということはないとすれば「聡い」ということは本当な」モンスターはいる」ということは事実である」ということは成り立たない ; $proof$ = 
fact4 -> int1: もし仮に「このぷちゅぷちゅLv.38は空恐ろしいということはないかあるいは待ち伏せしない」ということは間違っているなら聡い; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__