A gambler bet on a horse race, but the bookie wouldn't tell him the results of the race. The bookie gave clues as to how the five horses finished, which may have included some ties, and wouldn't pay the gambler off unless the gambler could determine how the five horses finished based on the following clues:
1. Penn Fe finished before Night Marvel and after Wish Bones.
2. If Hallelujah is not tied with Sundae, then Wish Bones is tied with Penn Fe.
3. Penn Fe finished as many places after Sundae as Sundae finished after Wish Bones if and only if Wish Bones finished before Night Marvel.
The gambler thought for a moment, then answered correctly. How did the five horses finish the race?