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 all of John's sisters are older than
he is.
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.