Bayesian Updating: Claude Code Skill for Logical Inference