Carlson, K. SI Report-Harmonic Aristotle Automated Theorem Prover. SI 2026, 3.