Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is white. Dave is green. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Fiona is white. Harry is cold. Harry is green. Harry is kind. Harry is smart. All rough people are furry. Smart, green people are rough. If Bob is rough then Bob is kind.
Dave is not smart.