Triangle Proofs - Search