Dave is cold. Dave is not green. Dave is quiet. Dave is round. Gary is not blue. Gary is cold. Gary is not green. Gary is quiet. Gary is rough. Gary is not round. Gary is smart. Harry is not cold. If someone is smart then they are rough. If someone is quiet and cold then they are smart.
Dave is not cold.