[javawizard]

There's a Wikipedia page about it: https://en.wikipedia.org/wiki/17-animal_inheritance_puzzle

You are correct that it's not solvable in a rigorous mathematical sense as stated.