Suppose Ada Lovelace (1815-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 is often regarded as the world's first computer programmer.
Can we infer that "Ada Lovelace never worked with Charles Babbage."? Yes, no, or maybe?