Bob is kind. Dave is green. Dave is red. Dave is smart. Dave is young. Erin is green. Erin is red. Erin is smart. Erin is young. Gary is big. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Gary is young. If something is smart and young then it is green. Kind things are quiet. If Dave is green then Dave is quiet. If Gary is young then Gary is green. If something is smart then it is red. Red things are young. If something is quiet and kind then it is young. If something is big and red then it is quiet.
Bob is not green.