Incorrect Answer.
The formula 
x y (S(x,j) 
S(y,j) 
O(x,y))
- "decompiles" into 'For all x and y,
if x is John's sister and y is John's sister, then x is older than y'.
- More elegantly, we can re-express this as
'Any of John's sisters is older than any one of them'.
Evidently, this is not expressing that John is older than his sisters.
Note that the formula above
would make more "sense" if O were interpreted as "likes", in which case the
formula would say, 'All of John's sisters like each other'.
Back to Question.