Bob is blue. Bob is smart. Erin is furry. Erin is green. Erin is smart. Gary is kind. Harry is blue. Smart people are furry. If someone is kind then they are red. If Gary is red then Gary is smart.
Harry is not red.