Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Dave is cold. Dave is green. Dave is kind. Dave is round. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is round. All green, cold people are kind. If Gary is red then Gary is cold. Round people are green. Round, kind people are red. If Charlie is red then Charlie is round. All rough people are round.
Charlie is cold.