Natural Deduction Proof Calculator Geometry