Dave is cold. Dave is furry. Dave is kind. Dave is rough. Dave is round. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is round. Erin is smart. Gary is furry. Gary is kind. Gary is rough. Gary is round. All furry things are rough. All rough things are smart. If something is smart then it is cold.
Gary is not cold.