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