Bob is green. Bob is quiet. Bob is red. Bob is smart. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is young. If something is smart then it is quiet. Young things are green.
Bob is not cold.