このまくまよLv.86はキャプチャするし加えて関係深い
fact1: このまくまよLv.86はキャプチャする fact2: このまくまよLv.86は許し難いということはないけれど狭し fact3: もし許し難くないモンスターが狭しならば関係深い
fact3 -> int1: 仮にこのまくまよLv.86が許し難くないけどそれは狭しとすると「それは関係深い」ということは事実である; int1 & fact2 -> int2: このまくまよLv.86は関係深い; int2 & fact1 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact1 -> hypothesis;
$facts$ = fact1: このまくまよLv.86はキャプチャする fact2: このまくまよLv.86は許し難いということはないけれど狭し fact3: もし許し難くないモンスターが狭しならば関係深い ; $hypothesis$ = このまくまよLv.86はキャプチャするし加えて関係深い ; $proof$ = 
fact3 -> int1: 仮にこのまくまよLv.86が許し難くないけどそれは狭しとすると「それは関係深い」ということは事実である; int1 & fact2 -> int2: このまくまよLv.86は関係深い; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact1 -> hypothesis; __PROVED__