このぴえぴちゃLv.54は聡くない
fact1: 仮にそのみにゅみにゅLv.5が時価評価するとすればこのぴえぴちゃLv.54は聡い fact2: このものもにゅLv.44は出現し易い fact3: もし仮にこのぴえぴちゃLv.54が出現し易いならばこのものもにゅLv.44は参照する fact4: 仮になんらかのモンスターが出現し易いならそれは参照する fact5: 仮にこのものもにゅLv.44が参照するとするとそのみにゅみにゅLv.5は時価評価する fact6: そのみにゅみにゅLv.5は出現し易い
fact4 -> int1: もし仮にこのものもにゅLv.44が出現し易いとしたらこのものもにゅLv.44は参照する; int1 & fact2 -> int2: このものもにゅLv.44は参照する; int2 & fact5 -> int3: そのみにゅみにゅLv.5は時価評価する; int3 & fact1 -> hypothesis;
fact4 -> int1: {A}{a} -> {B}{a}; int1 & fact2 -> int2: {B}{a}; int2 & fact5 -> int3: {C}{b}; int3 & fact1 -> hypothesis;
$facts$ = fact1: 仮にそのみにゅみにゅLv.5が時価評価するとすればこのぴえぴちゃLv.54は聡い fact2: このものもにゅLv.44は出現し易い fact3: もし仮にこのぴえぴちゃLv.54が出現し易いならばこのものもにゅLv.44は参照する fact4: 仮になんらかのモンスターが出現し易いならそれは参照する fact5: 仮にこのものもにゅLv.44が参照するとするとそのみにゅみにゅLv.5は時価評価する fact6: そのみにゅみにゅLv.5は出現し易い ; $hypothesis$ = このぴえぴちゃLv.54は聡くない ; $proof$ = 
fact4 -> int1: もし仮にこのものもにゅLv.44が出現し易いとしたらこのものもにゅLv.44は参照する; int1 & fact2 -> int2: このものもにゅLv.44は参照する; int2 & fact5 -> int3: そのみにゅみにゅLv.5は時価評価する; int3 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a} -> {B}{a}; int1 & fact2 -> int2: {B}{a}; int2 & fact5 -> int3: {C}{b}; int3 & fact1 -> hypothesis; __DISPROVED__