Suppose Ada Lovelace is often considered the first computer programmer, as she wrote the first algorithm intended for implementation on Charles Babbage's Analytical Engine. She also had a keen interest in mathematics and logic.
Can we infer that "Ada Lovelace was a contemporary of Leonardo da Vinci."? Yes, no, or maybe?