Bob is blue. Bob is furry. Bob is green. Bob is smart. Dave is quiet. Fiona is furry. Fiona is green. Fiona is smart. Gary is blue. Gary is green. Gary is quiet. Gary is red. Red, smart people are blue. Quiet, red people are smart. If someone is blue then they are nice. If someone is smart and blue then they are green. All quiet people are blue. If Gary is green then Gary is nice. If someone is blue and nice then they are red. If someone is red and green then they are smart.
Dave is quiet.