Bob is big. Bob is cold. Bob is furry. Bob is rough. Dave is green. Erin is cold. Erin is rough. Gary is furry. Gary is green. Gary is nice. If Dave is big then Dave is young. If Gary is big and Gary is green then Gary is nice. Green, nice people are furry. All cold, young people are furry. All green, young people are rough. If Erin is furry and Erin is young then Erin is cold. Big people are young. If Erin is cold then Erin is big.
Dave is cold.