premise: Sejong the Great was a queen.
hypothesis: Sejong the Great ( [ se.dʑoŋ ] ; 15 May 1397 - 8 April 1450 ) was the fourth king of Joseon-dynasty Korea . He was the third son of King Taejong and Queen consort Min . He was designated as heir-apparent , Crown Prince , after his older brother Jae was stripped of his title .