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