Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is young. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is not red. Gary is rough. Gary is young. All cold people are young. Big, furry people are kind. If someone is red and cold then they are rough. If Gary is big then Gary is rough. All kind, young people are rough. If Dave is rough then Dave is young.
Gary is cold.