Bob is big. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is smart. Charlie is big. Charlie is furry. Charlie is kind. Charlie is smart. Charlie is young. Gary is furry. Gary is red. Gary is rough. Gary is young. If someone is red then they are kind. All smart people are kind. All red people are big.
Gary is smart.