Sherlock Holmes, Geometry Proofs, and Backward Reasoning