Anne is green. Anne is nice. Anne is rough. Anne is smart. Bob is cold. Bob is green. Dave is not green. Dave is red. Dave is rough. Dave is white. Harry is green. Harry is smart. If Harry is red then Harry is nice. If someone is cold and nice then they are red. If someone is rough then they are white. Green, smart people are cold. All smart, white people are nice. All cold, green people are rough. Cold, smart people are green. If someone is cold and not green then they are nice. If someone is not red then they are rough.
Dave is nice.