Bob is nice. Dave is red. Erin is nice. Erin is quiet. Harry is big. Harry is green. Harry is nice. If something is quiet and red then it is big. If something is quiet then it is big. Big, red things are green. All red things are quiet. If something is blue and red then it is nice. Smart, quiet things are blue. All big, red things are smart. All quiet, blue things are red. If something is green and smart then it is blue.
Dave is blue.