Suppose Margaret Thatcher (13 October 1925 – 8 April 2013) was a British stateswoman who served as Prime Minister of the United Kingdom from 1979 to 1990 and Leader of the Conservative Party from 1975 to 1990. She was the longest-serving British prime minister of the 20th century and the first woman to hold that office.
Can we infer that "Margaret Thatcher was the first female prime minister of the United Kingdom."?