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