Bob is red. Dave is furry. All smart things are round. Furry things are smart. If something is green and smart then it is rough. If Dave is red then Dave is smart. If something is green and red then it is furry. Furry things are rough. If something is furry and round then it is green. If something is rough then it is green.
Dave is furry.