Bob is not smart. Gary is nice. Gary is quiet. Gary is red. Gary is round. Harry is not blue. Harry is cold. Harry is nice. Harry is red. Harry is smart. If Harry is blue and Harry is nice then Harry is round. If Harry is blue and Harry is not nice then Harry is red. If something is not quiet then it is red. If Bob is red then Bob is blue. If Bob is cold and Bob is blue then Bob is nice. If something is round and not blue then it is cold.
Bob is blue.