Bob is red. Bob is round. Bob is white. Bob is young. Dave is nice. Dave is quiet. Dave is red. Dave is not round. Dave is smart. Gary is not quiet. Gary is smart. Harry is round. If Harry is not red then Harry is not quiet. All quiet things are smart. If Harry is round and Harry is white then Harry is not red. Quiet, red things are white. If something is red and not white then it is young. If something is not red and not young then it is smart.
Bob is not smart.