Anne is furry. Dave is young. Erin is furry. Harry is not smart. If something is smart and green then it is big. If something is furry and red then it is young. If Erin is nice and Erin is green then Erin is red. If Harry is not red and Harry is not green then Harry is furry. If something is big and not young then it is not green. If something is red and not young then it is big.
Harry is not furry.