このみちゅみよLv.83は色っぽくない
fact1: 「武装解除するしその上進化し易い」モンスターはいる fact2: 仮に「進化し易くて話し易い」モンスターがいるとすればこのみちゅみよLv.83は色っぽい fact3: このみよみくLv.20は進化し易いししかもそれは武装解除する fact4: このみよみくLv.20は話し易い
fact3 -> int1: このみよみくLv.20は進化し易い; int1 & fact4 -> int2: このみよみくLv.20は進化し易いししかも話し易い; int2 -> int3: 「「進化し易くて話し易い」モンスターはいる」ということは確かである; int3 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact2 -> hypothesis;
$facts$ = fact1: 「武装解除するしその上進化し易い」モンスターはいる fact2: 仮に「進化し易くて話し易い」モンスターがいるとすればこのみちゅみよLv.83は色っぽい fact3: このみよみくLv.20は進化し易いししかもそれは武装解除する fact4: このみよみくLv.20は話し易い ; $hypothesis$ = このみちゅみよLv.83は色っぽくない ; $proof$ = 
fact3 -> int1: このみよみくLv.20は進化し易い; int1 & fact4 -> int2: このみよみくLv.20は進化し易いししかも話し易い; int2 -> int3: 「「進化し易くて話し易い」モンスターはいる」ということは確かである; int3 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact2 -> hypothesis; __DISPROVED__