このまやまいLv.99は荒っぽくない
fact1: 仮に何らかのモンスターは絶句しないとすると「それはしかとするし解け易い」ということは偽だ fact2: もしもあのぽにゅぽよLv.22が理解致すならあのぽにゅぽよLv.22は生き辛い fact3: もし仮にこのまやまいLv.99は生き辛いとしたら「荒っぽい」ということは正しい fact4: 「このまやまいLv.99は生き辛い」ということは成り立つ fact5: 「もしもなにがしかのモンスターがしかとするということはないとしたら生き辛くてそれは荒っぽい」ということは事実だ fact6: 解け易くないモンスターはしかとするか生き辛い fact7: もしも「「しかとするしまた解け易い」ということは成り立たない」モンスターはいるとするとこのまやまいLv.99はしかとしない
fact4 -> int1: 「このまやまいLv.99は生き辛い」ということは成り立つ; int1 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
そのもにもちゃLv.90は生き辛い
fact10 -> int2: もし仮にこのまやまいLv.99はしかとしないとするとそれは生き辛いしまた荒っぽい; fact9 -> int3: もし仮にあのぴにゃぴのLv.99は絶句しないならば「「あのぴにゃぴのLv.99はしかとするし解け易い」ということは偽だ」ということは成り立つ;
$facts$ = fact1: 仮に何らかのモンスターは絶句しないとすると「それはしかとするし解け易い」ということは偽だ fact2: もしもあのぽにゅぽよLv.22が理解致すならあのぽにゅぽよLv.22は生き辛い fact3: もし仮にこのまやまいLv.99は生き辛いとしたら「荒っぽい」ということは正しい fact4: 「このまやまいLv.99は生き辛い」ということは成り立つ fact5: 「もしもなにがしかのモンスターがしかとするということはないとしたら生き辛くてそれは荒っぽい」ということは事実だ fact6: 解け易くないモンスターはしかとするか生き辛い fact7: もしも「「しかとするしまた解け易い」ということは成り立たない」モンスターはいるとするとこのまやまいLv.99はしかとしない ; $hypothesis$ = このまやまいLv.99は荒っぽくない ; $proof$ = 
fact4 -> int1: 「このまやまいLv.99は生き辛い」ということは成り立つ; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __DISPROVED__