Bob is kind. Bob is red. Bob is not smart. All rough things are not smart. All kind, round things are red. Red things are not smart. If something is red then it is round. If Bob is blue and Bob is red then Bob is not big. Rough things are not big. If something is big and not red then it is blue. If Bob is not red then Bob is smart.
Bob is not red.