Solution:
Take the natural graph theoretic interpretation, where an edge points towards the loser of each pair, and call such a line an alternating path. Consider the longest alternating path, and suppose it doesn't contain everyone. We will show we can make the path longer, which would be a contradiction.
First, assume the path has an odd number of vertices, labeled v1,…,vn. WLOG v1 points towards v2, v3 points towards v2, all the way up to vn which points towards vn−1 (otherwise, reverse all the edges). Also WLOG v1 points towards vn (if not, label the vertices backwards). Let w be a vertex not in the path. Note that if vn points towards w, we can make the path longer by adding w to the end. Thus, w must point towards vn. But now we can take the path w,vn,v1,…,vn−1, which is longer than before, and so a contradiction.
Now assume the path has an even number of vertices, labeled v1,…,vn, and WLOG v1 points towards v2 again. Then vn−1 will point towards vn. Since 1000 is even, there are at least 2 vertices not in the path, say w1 and w2. If either one points towards vn, we can add it to the end of the path, so vn must point towards both. Similarly, they must both point towards v1. But now note that if vn−1 points to either, we can make the path v1,…,vn−1,wi,vn, which is longer. Thus, w1,w2 must both point towards vn−1. Now restrict our attention to v1,…,vn−1. Note that w1,w2 both point towards both ends, so we can WLOG assume v1 points towards vn−1. Also WLOG w1 points towards w2. Then we can form the path w2,w1,vn−1,v1,…,vn−2, which has n+1 vertices. Thus, if the longest alternating path does not contain every vertex, we can make it longer, which is a contradiction, so there must exist an alternating path with all 1000 vertices.