premise: A family of six and their two dogs enjoy a walk in the woods. hypothesis: A family of six and two cats have no dogs and are inside.
contradiction: There can either be two dogs or two cats and not dogs. If they are on a walk in the woods, that means they are not inside.