Anne is nice. Anne is young. Dave is cold. Dave is kind. Dave is nice. Dave is young. Erin is not cold. Erin is not green. Erin is not nice. Erin is round. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is young. If someone is not kind then they are not cold. All red, round people are cold.
Anne is not cold.