Implicating one_leg_up → raised_leg
Link to implication

Reason:

for a leg to be in an "up" position it must also be in a raised position