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