Mathematical Reasoning with Triangles