Bob is round. Charlie is white. Charlie is young. Dave is round. Dave is smart. Fiona is quiet. Fiona is young. All young things are smart. All nice things are smart. If Bob is nice and Bob is young then Bob is smart. If something is young and white then it is big. If Dave is round then Dave is white. If something is smart and quiet then it is white.
Bob is smart.