Assume that F1 and F2 are true in some interpretation. To prove that F3 holds in that interpretation, fix some x, y, z and assume T(x,y,z). Does there exist some w such that T(x,y,w)? What can you say about it in view of F2?

For b), let T(x,y,z) mean "point z is located between points x and y."