このみちゅみにゅLv.29は浅くない
fact1: もし仮にこのぷよぷにLv.6が焦げ臭いとしたらこのみちゅみにゅLv.29は浅い fact2: このぷよぷにLv.6は連想し易い fact3: このぷよぷにLv.6は連想し易くて焦げ臭い fact4: もしもとあるモンスターは焦げ臭いとすると「連想し易い」ということは事実だ fact5: もし仮に焦げ臭いということはないモンスターは連想し易くないならそれは浅くない
fact3 -> int1: このぷよぷにLv.6は焦げ臭い; int1 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
このみちゅみにゅLv.29は浅くない
fact6 -> int2: もしこのみちゅみにゅLv.29が焦げ臭くなくてしかも連想し易くないならばこのみちゅみにゅLv.29は浅くない;
$facts$ = fact1: もし仮にこのぷよぷにLv.6が焦げ臭いとしたらこのみちゅみにゅLv.29は浅い fact2: このぷよぷにLv.6は連想し易い fact3: このぷよぷにLv.6は連想し易くて焦げ臭い fact4: もしもとあるモンスターは焦げ臭いとすると「連想し易い」ということは事実だ fact5: もし仮に焦げ臭いということはないモンスターは連想し易くないならそれは浅くない ; $hypothesis$ = このみちゅみにゅLv.29は浅くない ; $proof$ = 
fact3 -> int1: このぷよぷにLv.6は焦げ臭い; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__