Bob is blue. Bob is not quiet. Bob is smart. Bob is young. Charlie is kind. Charlie is quiet. Charlie is smart. Dave is blue. Dave is kind. Dave is nice. Dave is not quiet. Dave is smart. Dave is white. Dave is young. Erin is kind. Erin is nice. Kind things are young. Kind things are nice. Nice things are white. All kind, nice things are smart. All blue, white things are young. If Erin is not young then Erin is smart.
Bob is nice.