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