Bob is green. Charlie is red. Charlie is nice. Dave is young. Dave is rough. Dave is red. Dave is big. Gary is round. Gary is rough. Gary is cold. If someone is red and rough then they are blue. If someone is cold and rough then they are blue. If someone is round and rough and green then they are young. If someone is young and rough and red then they are kind. If someone is kind and green then they are nice. If someone is kind and red then they are young. If someone is big and blue then they are green.
Dave is not cold.