Charlie is furry. Charlie is kind. Charlie is red. Gary is furry. Gary is quiet. Gary is red. Gary is smart. Round things are red. All red things are kind. If Gary is blue then Gary is furry. If something is round and blue then it is smart. If something is not red and not furry then it is smart. If something is furry and not smart then it is kind.
Charlie is not smart.