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