Bob is cold. Bob is furry. Bob is green. Bob is rough. Bob is smart. Dave is furry. Dave is rough. Fiona is blue. Fiona is quiet. Fiona is rough. If Bob is quiet and Bob is cold then Bob is smart. If someone is not cold and not smart then they are blue.
Dave is blue.