Bob is red. Dave is red. Erin is big. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is red. Gary is round. Gary is smart. All kind, round things are nice. Nice, red things are smart. All blue, red things are round. If Bob is kind and Bob is red then Bob is blue. If something is red then it is kind. If Bob is kind and Bob is not round then Bob is blue.
Gary is nice.