Anne is cold. Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Dave is big. Dave is blue. Dave is green. Dave is nice. Gary is blue. Gary is kind. Gary is quiet. If someone is nice then they are cold. All quiet, nice people are cold. If Gary is blue and Gary is quiet then Gary is nice. If Charlie is cold and Charlie is green then Charlie is big. If someone is cold and kind then they are big. If Anne is green then Anne is big.
Charlie is blue.