Which of Anscombe-Aumann's axioms imply the Sure-Thing principle? Consider an Anscombe-Aumann setting, and assume that a preference relation satisfies all original Anscombe-Aumann's axioms (rationality, continuity, independence, and monotonicity).

If we restrict attention to pure horse races (that is, acts without any objective uncertainty), the Anscombe-Aumann model boils down to a Subjective Expected Utility representation a la Savage. Therefore, over pure horse races, the decision-maker satisfies all of Savage's axioms, notably the Sure-Thing Principle (P2 in Savage's terminology).

I fail to see the direct connection between Anscombe-Aumann's axioms and the Sure-Thing Principle. Does anyone see how the Sure-Thing Principle is implied by Anscombe-Aumann's axioms? In particular, does it result from Independence only, or are Independence AND Monotonicity required?
As a first remark: the Anscombe-Aumann axioms, in particular Independence, are defined over acts taking the state space to a linear space (generally simple lotteries over consumption objects). Even when we consider the restriction of the model to purely subjectively uncertain acts, we still need to employ the full model or we will lose information. 

That being said: Lets let $S$ be a finite state space, and $X$ a finite set of alternatives. Let $\Delta(X)$ denote all the lotteries over $X$ and $f: S \to \Delta(X)$ is an act. For an event $E \subseteq S$, let $f_{-E}g$ be the act defined by
$$f_{-E}g \begin{cases} f(s) \text{ if } x \in E \\ g(s) \text{ if } x \notin E. \end{cases}$$

Now, we can say that our model satisfies the sure thing principle if $f_{-E}h \succsim g_{-E}h$ and $f_{-E^c}h \succsim g_{-E^c}h$ then $f \succsim g.$ This definition is valid for all acts, not just ones without objective risk, but clearly you can consider only the relevant projection.

Assume the antecedent of the STP. From $f_{-E}h \succsim g_{-E}h$ and independence we have that 
$$\frac12 f_{-E}h + \frac12 f_{-E^c}h \succsim \frac12 g_{-E}h + \frac12 f_{-E^c}h.$$ 
Notice we can rewrite this as
$$\frac12 f + \frac12 h \succsim \frac12 g_{-E}f + \frac12h$$
and, applying independence again, we get
\begin{equation}
\tag{1}
f \succsim g_{-E}f.
\end{equation}

In an analogous fashion, from $f_{-E^c}h \succsim g_{-E^c}h$ and independence we have that 
$$\frac12 f_{-E^c}h + \frac12 g_{-E}h \succsim \frac12 g_{-E^c}h + \frac12 g_{-E}h.$$ 
Again, we can rewrite as
$$\frac12 g_{-E}f + \frac12 h \succsim \frac12 g + \frac12h$$
and, applying independence again, we get
\begin{equation}
\tag{2}
g_{-E}f \succsim g.
\end{equation}

Combining (1) and (2) via transitivity yields the desired relations. Going back to the prefatory remark, notice that to apply independence, we need to mix acts, appealing to objective risk. Thus, even when $f$, $g$, and $h$ have no objective risk, we still need risky acts to serve as an intermediary in the proof. In a sense, this is the grand insight to the whole AA framework---using objective risk to get around the necessity of an infinite state space by using the linearity of expectations to force the STP.

Notice only independence and transitivity were used. This should indicated that even state-dependent EU (where monotonicity / state-independence fails) or Bewley EU (where completeness is relaxed)  will still satisfy the STP. 



Edit in response to a comment: Lets call the above notion of the Sure Thing Principle STP1 and say the preference satisfies STP2 if $f_{-E}h \succsim g_{-E}h \iff f_{-E}h' \succsim g_{-E}h'$ for all $f,g,h,h'$. Then if  $\succsim$ is a preorder, it satisfies STP1 if and only if it satisfies STP2. 

First assume STP2 holds and that $f_{-E}h \succsim g_{-E}h$ and $f_{-E^c}h \succsim g_{-E^c}h$. Then by STP2 we have 
$$f = f_{-E}f \succsim g_{-E}f \qquad \text{ and } \qquad g_{-E}f = f_{-E^c}g \succsim g.$$ 
Transitivity implies $f \succsim g$; STP1 holds.

Next, assume STP1 holds and $f_{-E}h \succsim g_{-E}h$. Define $\hat f = f_{-E}h'$ and $\hat g$ analogously. By definition 
$$\hat f_{-E}h = f_{-E}h \qquad \text{ and } \qquad \hat g_{-E}h = g_{-E}h,$$
so our assumption is identically that 
\begin{equation}
\tag{3}
\hat f_{-E}h \succsim \hat g_{-E}h.
\end{equation}
Further $\hat f_{-E^c}h = \hat g_{-E^c}h = h'_{-E}h$ so we have, by the reflexivity of preference, that
\begin{equation}
\tag{4}
\hat f_{-E^c}h \succsim \hat g_{-E^c}h.
\end{equation}
Now we can apply STP1 to (3) and (4) to obtain that $\hat f \succsim \hat g$, which, given their definition, exactly what we need to show for STP2 to hold.