Bob is green. Bob is rough. Bob is not smart. Charlie is big. Charlie is blue. Charlie is green. Charlie is not red. Charlie is smart. Charlie is young. Dave is not red. Dave is not rough. Dave is young. Fiona is blue. Fiona is green. Fiona is smart. All red people are not rough. If someone is blue and not young then they are green. If someone is not smart then they are not blue.
Bob is not smart.