How Do I solve this further? Logic (Fitch)

Question

This is what I have done 2

This is edit 2

Answer 1

First, your set-up is excellent!

Second, note that if $Smaller(b,a)$ is true, then $Larger(a,b)$ should be true as well. However, this does not follow logically, but by the meaning of the predicates. So, you'll have to use Ana Con, which understands the meaning of the predicates.