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