Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is young. Dave is big. Dave is cold. Dave is red. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is young. Harry is cold. Harry is not green. If Charlie is red then Charlie is big. Red people are big. All young, cold people are red. If Gary is cold then Gary is not red. If Charlie is nice then Charlie is green. If Charlie is not quiet then Charlie is red.
Dave is nice.