Bob is nice. Bob is smart. Dave is cold. Dave is furry. Dave is smart. Fiona is cold. Fiona is furry. Harry is furry. Harry is green. Harry is kind. All smart people are cold. All furry people are rough. All kind people are furry. All green people are kind. If someone is rough and not smart then they are kind. If Bob is cold then Bob is green. If someone is furry and kind then they are rough. If someone is smart then they are nice.
Harry is not nice.