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