Premise: Ahmad Kemal Idris (born Singaraja, Bali, February 10, 1923 – died Jakarta, July 28, 2010) was a prominent Indonesian Army general during the 1950s and 1960s. He was an Indonesian guerrilla leader during the Indonesian National Revolution, who in 1949 was involved in continued resistance to the Dutch forces after they occupied Yogyakarta.
Hypothesis: Idris was 80 when he retired.