This is what it looks like in English:
There is a large sphere, and all large things are to the right of b. Therefore, there is a sphere to the right of b.
Which I translated as:
- [Premise 1] ∃x(S(x)∧L(x))
- [Premise 2] ∀x(L(x)→RightOf(x,b))
- [Conclusion] ∃x(S(x)∧RightOf(x,b))
Where S stands for Sphere, L for large, RightOf for 'right of'*, b for 'b', and 'x' is a variable.
*So RightOf(x,b) would read as 'x is to the right of b'.
I'm unsure about my translation though, and before working on the formal proof, I would like to know if it is correct.