Bob is big. Bob is blue. Bob is green. Bob is kind. Charlie is big. Charlie is quiet. Charlie is smart. Dave is green. Dave is kind. Dave is quiet. Dave is young. Erin is big. Erin is green. Erin is kind. Erin is smart. Erin is young. If someone is kind then they are green. If Dave is young then Dave is big. All green people are big. If Dave is kind then Dave is quiet. If someone is smart then they are blue. If someone is big and young then they are green. Quiet people are green. If someone is smart and big then they are green.
Bob is quiet.