Dave is cold. Dave is furry. Dave is young. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is rough. Gary is big. Gary is rough. If Gary is nice and Gary is young then Gary is big. Smart people are young. Nice people are smart. If Erin is nice and Erin is rough then Erin is young. All nice people are smart. All big people are cold. If someone is young then they are nice. Big people are young.
Gary is not smart.