1 is always correct, because if V1 and V2 are not reachable from a source vertex s, no chance to push them together in function call stack.
3 is also always correct, because s--->V1---->V3--->V2--->V5, now we can see here that V1 is pushed to the function call stack and later V2 will also be pushed to the stack.
or
s--->V2---->V3--->V1--->V5 e can see here that V2 is pushed to the function call stack and later V1 will also be pushed to the stack.
If there is no direct path either from V1 to V2 or V2 to V1 then, before second is pushed to the stack first vertex will be popped.
Following is the algorithm copied from coreman for the reference:
Hence, both 1 and 3 are correct statements.