I wonder how they would behave given a system prompt that asserts "dogs may have more or less than four legs".

That may work but what actual use would it be? You would be plugging one of a million holes. A general solution is needed.