Charlie is big. Charlie is cold. Charlie is white. Dave is big. Dave is cold. Dave is not green. Dave is quiet. Dave is not red. Dave is young. Erin is not big. Harry is big. Harry is not cold. Harry is not quiet. Harry is red. Harry is young. If something is cold and not quiet then it is red.
Charlie is not red.