Bob is blue. Bob is not nice. Bob is not quiet. Bob is red. Bob is young. Charlie is big. Charlie is not blue. Charlie is quiet. Charlie is red. Dave is green. Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is young. If something is blue and not young then it is quiet. All blue things are green. If Charlie is green and Charlie is not young then Charlie is red. If Dave is red and Dave is green then Dave is quiet. Green, blue things are red. All big things are not blue.
Bob is not blue.