Bob is red. Bob is rough. Bob is smart. Bob is young. Charlie is not big. Charlie is not blue. Charlie is nice. Charlie is red. Charlie is not rough. Charlie is smart. All nice, blue things are rough. If something is nice and young then it is not red. If something is young and not rough then it is not smart.
Bob is not smart.