Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. Gary is furry. Gary is kind. Gary is smart. All blue, red things are kind. If Bob is young and Bob is smart then Bob is blue. All nice things are red. All kind things are red. If Bob is smart and Bob is red then Bob is kind. If something is kind then it is nice. All red things are blue. All kind things are furry.
Bob is not smart.