Bob is green. Bob is kind. Charlie is green. Charlie is smart. Dave is kind. Dave is round. Fiona is round. All white, smart things are rough. All rough, green things are round. If Dave is white and Dave is rough then Dave is furry. Green, kind things are white. Kind things are smart. All white, rough things are smart.
Fiona is not smart.