そのもくもちゅLv.96は独占しない
fact1: そのもくもちゅLv.96は銘記す fact2: 商人らしくないモンスターは独占するしそれに痛い fact3: あのみにみやLv.96が痛いとするとそのもくもちゅLv.96は商人らしい fact4: もしもそのもくもちゅLv.96が商人らしいしそれは銘記すとしたら「独占しない」ということは本当である fact5: あのみにみやLv.96は痛い
fact3 & fact5 -> int1: そのもくもちゅLv.96は商人らしい; int1 & fact1 -> int2: そのもくもちゅLv.96は商人らしいし銘記す; int2 & fact4 -> hypothesis;
fact3 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact4 -> hypothesis;
そのもくもちゅLv.96は独占する
fact6 -> int3: もし仮にそのもくもちゅLv.96が商人らしくないとすればそのもくもちゅLv.96は独占するし更に痛い;
$facts$ = fact1: そのもくもちゅLv.96は銘記す fact2: 商人らしくないモンスターは独占するしそれに痛い fact3: あのみにみやLv.96が痛いとするとそのもくもちゅLv.96は商人らしい fact4: もしもそのもくもちゅLv.96が商人らしいしそれは銘記すとしたら「独占しない」ということは本当である fact5: あのみにみやLv.96は痛い ; $hypothesis$ = そのもくもちゅLv.96は独占しない ; $proof$ = 
fact3 & fact5 -> int1: そのもくもちゅLv.96は商人らしい; int1 & fact1 -> int2: そのもくもちゅLv.96は商人らしいし銘記す; int2 & fact4 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact4 -> hypothesis; __PROVED__