Bob is nice. Dave is red. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Gary is blue. Gary is quiet. Gary is smart. If Gary is quiet and Gary is red then Gary is furry. Quiet, blue people are cold. If Bob is smart then Bob is quiet. Smart, nice people are red. All nice, blue people are quiet. If someone is red and nice then they are blue. All red people are furry. Furry people are smart. If someone is smart then they are nice.
Dave is quiet.