premise: Papua comprised all of Indonesia.
hypothesis: Papua is the largest and easternmost province of Indonesia , comprising most of western New Guinea . It was formerly called Irian Jaya ( before that West Irian or Irian Barat ) and comprised all of Indonesian New Guinea .