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