Erin is furry. Erin is kind. Erin is quiet. Harry is kind. Harry is not quiet. Harry is red. Harry is rough. If Harry is green then Harry is not red. All green things are rough. If Harry is green then Harry is not red. If something is green then it is young. If something is quiet then it is green. If something is not furry then it is red.
Harry is not green.