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