Input (grade 13): However, further remains were discovered in 2007, and DNA analysis subsequently proved that the entire Imperial family had been murdered in 1918.
Output (grade 12): However, further remains were discovered in 2007, and DNA proved at last that the entire Imperial family had been murdered in 1918.