Bob is cold. Bob is red. Charlie is nice. Charlie is red. Dave is nice. Dave is rough. Harry is green. Harry is quiet. Harry is red. Harry is rough. If someone is cold and red then they are green. Green, nice people are red. All red, quiet people are blue. Rough, green people are quiet. If someone is green then they are rough. If Harry is red then Harry is cold. Blue people are quiet. Red people are cold.
Bob is not quiet.