あのぽいぽのLv.39は微笑ましい
fact1: あるモンスターが流され易いかまたは活動し難いかまたは両方であるならばあのぽいぽのLv.39は微笑ましくない fact2: あのまゆまにょLv.66は活動し難い fact3: 「あのまゆまにょLv.66は微笑ましいかまたは活動し難いかあるいは両方ともだ」ということは本当だ fact4: あのぽいぽのLv.39は活動し難いかあるいは微笑ましいかあるいはどちらもである
fact2 -> int1: あのまゆまにょLv.66は流され易いかもしくは活動し難い; int1 -> int2: 「流され易いかまたは活動し難いかまたはどちらもである」モンスターはいる; int2 & fact1 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact1 -> hypothesis;
$facts$ = fact1: あるモンスターが流され易いかまたは活動し難いかまたは両方であるならばあのぽいぽのLv.39は微笑ましくない fact2: あのまゆまにょLv.66は活動し難い fact3: 「あのまゆまにょLv.66は微笑ましいかまたは活動し難いかあるいは両方ともだ」ということは本当だ fact4: あのぽいぽのLv.39は活動し難いかあるいは微笑ましいかあるいはどちらもである ; $hypothesis$ = あのぽいぽのLv.39は微笑ましい ; $proof$ = 
fact2 -> int1: あのまゆまにょLv.66は流され易いかもしくは活動し難い; int1 -> int2: 「流され易いかまたは活動し難いかまたはどちらもである」モンスターはいる; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact1 -> hypothesis; __DISPROVED__