Translate the following arguments into symbolic notation and then interpret them in light of the eight argument forms presented in this section. In some cases a symbolized argument must be rewritten using commutativity or double negation before it becomes an instance of one of these forms. Those not having a named form are invalid.

If the sun is a variable star, then its energy will drop drastically at some point in the future. If the sun's energy drops drastically at some point in the future, then the Earth will become a giant iceball. Therefore, if the sun is a variable star, then the Earth will become a giant ice ball.