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