あのもくもにょLv.54はアクセスし易くない
fact1: あらゆるモンスターは儚い fact2: すべてのモンスターはアクセスし易い fact3: もしも「このみねみゆLv.6は勝利するし調節し易い」ということは成り立たないとしたらこのみねみゆLv.6はいみじない fact4: もしも何らかのモンスターは恥ずかしけれどアクセスし易いということはないならばそれは素人っぽい
fact2 -> int1: すべてのモンスターはアクセスし易い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのもくもにょLv.54はアクセスし易くない
$facts$ = fact1: あらゆるモンスターは儚い fact2: すべてのモンスターはアクセスし易い fact3: もしも「このみねみゆLv.6は勝利するし調節し易い」ということは成り立たないとしたらこのみねみゆLv.6はいみじない fact4: もしも何らかのモンスターは恥ずかしけれどアクセスし易いということはないならばそれは素人っぽい ; $hypothesis$ = あのもくもにょLv.54はアクセスし易くない ; $proof$ = 
fact2 -> int1: すべてのモンスターはアクセスし易い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__