Bob is kind. Bob is red. Bob is round. Bob is white. Dave is green. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is white. If something is red then it is kind. All green things are smart. If something is smart then it is rough. Rough, smart things are white. If something is green then it is round. All smart, round things are rough. If Bob is rough and Bob is smart then Bob is kind. If something is round then it is green.
Dave is not smart.