Charlie is green. Charlie is nice. Charlie is smart. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is white. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is white. Gary is green. Gary is red. Gary is white. All quiet, nice things are smart. All quiet things are smart. Nice, red things are round. Red things are nice. All nice, round things are quiet. If something is green and quiet then it is smart.
Erin is not round.