Bob is red. Charlie is red. Dave is red. Erin is quiet. All young, green things are quiet. Furry things are young. If something is smart then it is furry. All green, quiet things are smart. If something is green and not red then it is not quiet. If something is not quiet then it is furry. If Dave is not smart then Dave is young. If something is red and not furry then it is not rough.
Charlie is green.