Anne is cold. Anne is furry. Anne is not green. Anne is not red. Anne is smart. Anne is white. Dave is not furry. Dave is green. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is red. Harry is cold. Harry is not furry. Harry is smart. If someone is not smart then they are red. If Dave is cold and Dave is red then Dave is green. If Dave is furry then Dave is not smart.
Harry is not red.