そのもにょもくLv.55は厚しない
fact1: もしこのもちょもにょLv.6が薄いとしたらそのもにょもくLv.55は厚し fact2: あのまちょまくLv.3は分かり易いしそれは吸収し易い fact3: 分かり易いモンスターが吸収し易いならばこのもちょもにょLv.6は薄い
fact2 -> int1: なんらかのモンスターは分かり易いし更にそれは吸収し易い; int1 & fact3 -> int2: このもちょもにょLv.6は薄い; int2 & fact1 -> hypothesis;
fact2 -> int1: (Ex): ({A}x & {B}x); int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしこのもちょもにょLv.6が薄いとしたらそのもにょもくLv.55は厚し fact2: あのまちょまくLv.3は分かり易いしそれは吸収し易い fact3: 分かり易いモンスターが吸収し易いならばこのもちょもにょLv.6は薄い ; $hypothesis$ = そのもにょもくLv.55は厚しない ; $proof$ = 
fact2 -> int1: なんらかのモンスターは分かり易いし更にそれは吸収し易い; int1 & fact3 -> int2: このもちょもにょLv.6は薄い; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: (Ex): ({A}x & {B}x); int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__