Solving Mechanics problems using meta-level inference