あのものもやLv.3は発見し得ない
fact1: あらゆるモンスターは発見し得る fact2: 仮にこのぷゆぷにゃLv.52が発見し得ないか付け替えるかどちらもならあのものもやLv.3は発見し得ない fact3: もしもあるモンスターが激減するということはないなら塩辛くて更にそれは発見し得る fact4: もし仮に益無しモンスターが付け替えるとするとそれは激減しない fact5: すべてのモンスターは擁立する
fact1 -> int1: あらゆるモンスターは発見し得る; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは塩辛い
fact6 -> int2: もしあのものもやLv.3は激減しないとすれば「塩辛いしおまけに発見し得る」ということは真実である; fact7 -> int3: もしもあのものもやLv.3は益無しし付け替えるとしたら激減しない;
$facts$ = fact1: あらゆるモンスターは発見し得る fact2: 仮にこのぷゆぷにゃLv.52が発見し得ないか付け替えるかどちらもならあのものもやLv.3は発見し得ない fact3: もしもあるモンスターが激減するということはないなら塩辛くて更にそれは発見し得る fact4: もし仮に益無しモンスターが付け替えるとするとそれは激減しない fact5: すべてのモンスターは擁立する ; $hypothesis$ = あのものもやLv.3は発見し得ない ; $proof$ = 
fact1 -> int1: あらゆるモンスターは発見し得る; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__