Show HN: I'm 6 months late, but I made a Natural Language theorem prover