Bob is cold. Bob is green. Bob is smart. Bob is white. Dave is cold. Dave is green. Dave is rough. Dave is white. Fiona is cold. Fiona is furry. Fiona is white. Fiona is young. If someone is young then they are green. If Fiona is cold and Fiona is green then Fiona is smart. Cold, smart people are young.
Dave is not smart.