step: if something kills a living thing then that something is not protecting that living thing & an animal is a kind of living thing
inference: if something kills an animal then that something is not protecting that animal