Bob is blue. Bob is rough. Bob is round. Dave is furry. Fiona is kind. Harry is blue. Harry is rough. All rough things are nice. If something is not round then it is smart. If something is smart then it is rough. If something is furry then it is blue. If something is round then it is blue. If Dave is nice and Dave is round then Dave is furry. Kind, nice things are furry. If Fiona is furry and Fiona is smart then Fiona is blue.
Bob is not smart.