Hi mokkyukkyu,
Thanks for your question. 
The stimulus is structured as follows:
- Premise: Elephant always has at least 2 legs on the ground.
 Conclusion: Elephant does not run.
To justify the conclusion, we need to establish the following:
- Justify: At least 2 legs on the ground   NOT run NOT run
 Contrapositive: Run Less than two legs on the ground Less than two legs on the ground
The correct answer choice (B) goes even further, suggesting that running requires the animal to have all four legs off the ground:
- Answer choice (B): Run   NO legs on the ground NO legs on the ground
 Contrapositive: Any legs on the ground NOT run NOT run
There is no problem with this, because we are looking for a premise that is 
sufficient to prove the conclusion, not an assumption 
necessary for the conclusion to be logically valid. Yes, answer choice (B) goes beyond the scope of our prephrase, but so what? If answer choice (B) is true, then clearly an animal that has 
at least one leg on the ground at any given time cannot run. The elephant falls into that category of animals, because it has at least two legs on the ground at any given time. So, it logically follows that the elephant cannot run.
Thanks!