このぴわぴくLv.89はむさくるしくない
fact1: もしそのみいみにゅLv.73が通り難いとしたらあのまちょまにLv.43は最小化する fact2: あのまちょまにLv.43が最小化するとしたらこのぴわぴくLv.89はむさくるしい fact3: あのぽなぽゆLv.53が最小化すればあのぽなぽゆLv.53は通り難い fact4: し易いモンスターは最小化する fact5: あのぽなぽゆLv.53は見境無い fact6: そのぷちゃぷなLv.71は最小化する fact7: もし仮にあのぽなぽゆLv.53が見境無いとするとそのみいみにゅLv.73は通り難い fact8: もし仮にそのみいみにゅLv.73が生き難いとすればあのぽなぽゆLv.53はし易い fact9: もし仮にあのぽなぽゆLv.53が通り難いとするとこのぴわぴくLv.89はむさくるしくない一方で見境無い
fact7 & fact5 -> int1: そのみいみにゅLv.73は通り難い; int1 & fact1 -> int2: あのまちょまにLv.43は最小化する; int2 & fact2 -> hypothesis;
fact7 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact2 -> hypothesis;
このぴわぴくLv.89はむさくるしくない
fact10 -> int3: もしあのぽなぽゆLv.53がし易いとしたらそれは最小化する;
$facts$ = fact1: もしそのみいみにゅLv.73が通り難いとしたらあのまちょまにLv.43は最小化する fact2: あのまちょまにLv.43が最小化するとしたらこのぴわぴくLv.89はむさくるしい fact3: あのぽなぽゆLv.53が最小化すればあのぽなぽゆLv.53は通り難い fact4: し易いモンスターは最小化する fact5: あのぽなぽゆLv.53は見境無い fact6: そのぷちゃぷなLv.71は最小化する fact7: もし仮にあのぽなぽゆLv.53が見境無いとするとそのみいみにゅLv.73は通り難い fact8: もし仮にそのみいみにゅLv.73が生き難いとすればあのぽなぽゆLv.53はし易い fact9: もし仮にあのぽなぽゆLv.53が通り難いとするとこのぴわぴくLv.89はむさくるしくない一方で見境無い ; $hypothesis$ = このぴわぴくLv.89はむさくるしくない ; $proof$ = 
fact7 & fact5 -> int1: そのみいみにゅLv.73は通り難い; int1 & fact1 -> int2: あのまちょまにLv.43は最小化する; int2 & fact2 -> hypothesis; __DISPROVED__
fact7 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact2 -> hypothesis; __DISPROVED__