Suppose Ada Lovelace (10 December 1815 – 27 November 1852) was an English mathematician and writer, chiefly known for her work on Charles Babbage's proposed mechanical general-purpose computer, the Analytical Engine. She wrote the first algorithm to be carried out by such a machine and is often regarded as the first computer programmer.
Can we infer that "Ada Lovelace was a contemporary of Charles Babbage"? 