Resolution Example

1. All hounds howl at night.

2. Anyone who has any cats will not have any mice.

3. Light sleepers do not have anything which howls at night.

4. John has either a cat or a hound.

5. (Conclusion) If John is a light sleeper, then John does not have any mice.