premise: Each of exactly six doctors—Juarez, Kudrow, Longtree, Nance, Onawa, and Palermo—is at exactly one of two clinics: Souderton or Randsborough. The following conditions must be satisfied: Kudrow is at Randsborough if Juarez is at Souderton. Onawa is at Souderton if Juarez is at Randsborough. If Longtree is at Souderton, then both Nance and Palermo are at Randsborough. If Nance is at Randsborough, then so is Onawa. If Palermo is at Randsborough, then both Kudrow and Onawa are at Souderton. If Kudrow is at Souderton, then which one of the following must be true?
hypothesis: Onawa is at Randsborough.