... , Kudrow, Longtree, Nance, Onawa, and Palermo is at exactly one ... is at Souderton then both Nance and Palerno are at Randsborough ... is at Randsborough, then both Kudrow and Onawa are at Souderton ... contrapositive of the first statement and got
/ ...