「あのもにもいLv.79は打ち易い」ということは成り立つ
fact1: もし「何らかのモンスターは刻しない一方で騒がしい」ということは間違いであるとすれば打ち易い fact2: 仮にこのぽやぽのLv.43が騒がしいかそれが複数存在するか両方ともであるならあのもにもいLv.79は打ち易くない fact3: もし「あのもにもいLv.79は刻しない」ということは成り立てばこのぽやぽのLv.43は打ち易くてまた騒がしい fact4: このぽやぽのLv.43が複数存在すればあのもにもいLv.79は打ち易いということはない fact5: このぽやぽのLv.43は騒がしいし刻する
fact5 -> int1: このぽやぽのLv.43は騒がしい; int1 -> int2: このぽやぽのLv.43は騒がしいかあるいは複数存在する; int2 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact2 -> hypothesis;
「あのもにもいLv.79は打ち易い」ということは成り立つ
fact6 -> int3: 「あのもにもいLv.79は刻しないけど騒がしい」ということは誤りだとすれば打ち易い;
$facts$ = fact1: もし「何らかのモンスターは刻しない一方で騒がしい」ということは間違いであるとすれば打ち易い fact2: 仮にこのぽやぽのLv.43が騒がしいかそれが複数存在するか両方ともであるならあのもにもいLv.79は打ち易くない fact3: もし「あのもにもいLv.79は刻しない」ということは成り立てばこのぽやぽのLv.43は打ち易くてまた騒がしい fact4: このぽやぽのLv.43が複数存在すればあのもにもいLv.79は打ち易いということはない fact5: このぽやぽのLv.43は騒がしいし刻する ; $hypothesis$ = 「あのもにもいLv.79は打ち易い」ということは成り立つ ; $proof$ = 
fact5 -> int1: このぽやぽのLv.43は騒がしい; int1 -> int2: このぽやぽのLv.43は騒がしいかあるいは複数存在する; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact2 -> hypothesis; __DISPROVED__