Anne is blue. Anne is smart. Anne is young. Bob is quiet. Bob is smart. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is smart. Gary is green. Gary is smart. If Gary is big then Gary is kind. If someone is blue then they are quiet. If someone is big and smart then they are green. All young people are quiet. If someone is young and blue then they are big. If someone is quiet and smart then they are blue. Smart people are young. If Gary is green and Gary is big then Gary is blue.
Bob is not smart.