Deducer almost clever enough to solve a puzzle