Solving Witness-type Triangle Puzzles Faster with an Automatically Learned Human-Explainable Predicate