そのぽちょぽゆLv.71は出入りし易いということはない
fact1: あらゆるモンスターは出入りし易い fact2: もしなにがしかのモンスターが浅いということはないとすると掬うしかつ出入りし易い fact3: 怖くなくてかつ出現し易くないモンスターは浅くない fact4: もしもとあるモンスターが怖いとするとそれは出入りし易くない一方で浅い fact5: 全てのモンスターは日本人らしい
fact1 -> int1: あらゆるモンスターは出入りし易い; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
そのぽちょぽゆLv.71は出入りし易いということはない
fact6 -> int2: もし仮にそのぽちょぽゆLv.71が怖いとしたらそのぽちょぽゆLv.71は出入りし易くないがしかしそれは浅い;
$facts$ = fact1: あらゆるモンスターは出入りし易い fact2: もしなにがしかのモンスターが浅いということはないとすると掬うしかつ出入りし易い fact3: 怖くなくてかつ出現し易くないモンスターは浅くない fact4: もしもとあるモンスターが怖いとするとそれは出入りし易くない一方で浅い fact5: 全てのモンスターは日本人らしい ; $hypothesis$ = そのぽちょぽゆLv.71は出入りし易いということはない ; $proof$ = 
fact1 -> int1: あらゆるモンスターは出入りし易い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__