A pure logic deduction puzzle where you have to return cats and dogs to their homes by following the clues at each step.