Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Dave is round. Dave is smart. Erin is red. Erin is white. Gary is kind. Gary is quiet. Gary is red. Gary is round. Quiet things are rough. All quiet, white things are rough. If Gary is smart then Gary is red. All red things are kind. All kind, red things are smart. If Charlie is kind then Charlie is round. If something is round and kind then it is quiet. If something is smart then it is round.
Dave is not rough.