Bob is green. Bob is nice. Bob is smart. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. Gary is furry. Gary is green. Harry is cold. Harry is furry. Harry is nice. Harry is red. Harry is smart. Harry is young. All young, green people are smart. If someone is young then they are green. Cold people are furry.
Harry is not red.