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