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