Bob is round. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Dave is quiet. Dave is red. Dave is rough. Dave is white. Fiona is cold. Fiona is rough. Fiona is smart. Fiona is white. Cold, round things are quiet. If something is cold and quiet then it is rough. All round, smart things are white. All white things are quiet. All cold things are smart. Red things are rough.
Bob is not smart.