Stories with Tag Lean Theorem Prover