Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV (ArXiv cs.LO Recent Papers, 2026)