Dave is not nice. Dave is quiet. Erin is green. Erin is quiet. Erin is round. Fiona is nice. Fiona is round. Fiona is white. Fiona is young. Gary is not green. Gary is nice. Gary is white. All smart people are nice. White, smart people are young. If someone is round then they are young. All green people are smart. If Gary is quiet then Gary is white. Green, quiet people are round. If Erin is not smart then Erin is not green. If someone is not young then they are not green.
Gary is not smart.