Solving Witness-Type Triangle Puzzles Faster With An Automatically Learned Human-Explainable Predicate