premise: An official is assigning five runners—Larry, Ned, Olivia, Patricia, and Sonja—to parallel lanes numbered consecutively 1 through 5. The official will also assign each runner to represent a different charity—F, G, H, J, and K—not necessarily in order of the runner's names as given. The following ordering restrictions apply: The runner representing K is assigned to lane 4. Patricia is assigned to the only lane between the lanes of the runners representing F and G. There are exactly two lanes between Olivia's lane and the lane of the runner representing G. Sonja is assigned to a higher-numbered lane than the lane to which Ned is assigned. If Ned is the runner representing J, then it must be true that
hypothesis: the runner representing H is assigned to lane 2