Bob is red. Charlie is red. Dave is red. If something is furry and quiet then it is round. If something is rough then it is green. If something is kind then it is round. Furry things are round. If Charlie is kind and Charlie is furry then Charlie is quiet. If something is kind then it is red.
Dave is not red.