Bob is blue. Bob is green. Bob is nice. Bob is quiet. Bob is round. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Harry is blue. Harry is green. Harry is nice. Harry is rough. All blue, rough things are round. If something is smart then it is rough. Quiet, rough things are nice. All green things are blue. If something is round and green then it is blue. All quiet things are smart.
Bob is not smart.