Charlie is nice. Charlie is quiet. Dave is not nice. Dave is white. Erin is cold. Erin is green. Erin is quiet. Erin is red. Gary is nice. Gary is red. Gary is white. Gary is young. If something is not quiet then it is green. All young things are green. If Charlie is quiet and Charlie is nice then Charlie is young. If something is young and white then it is red. All green things are cold. If Gary is nice and Gary is not quiet then Gary is red. If something is cold and nice then it is white.
Dave is quiet.