For each of the following, either construct a formal proof of validity or prove invalidity by means of the STTT. In each case, use the notation in parentheses.

If either Jordan or Algeria joins the alliance, then if either Syria or Kuwait boycotts it, then although Iraq does not boycott it, Yemen boycotts it. If either Iraq or Morocco does not boycott it, then Egypt will join the alliance. Therefore if Jordan joins the alliance, then if Syria boycotts it, then Egypt will join the alliance. ( J, A, S, K, I, Y, M, E )