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