Bridging Algebra and Geometry with n-gram Proofs