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 Jordan joins the alliance, then either Algeria or Syria boycotts it. If Kuwait joins the alliance, then either Syria or Iraq boycotts it. Syria does not boycott it. Therefore if neither Algeria nor Iraq boycotts it, then neither Jordan nor Kuwait joins the alliance. (J, A, S, K, I)