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 sea levels rise twenty feet worldwide, then coastal cities from New York to Sydney will be inundated. If the ice sheets on Antarctica slip into the sea, then sea levels will rise twenty feet worldwide. Therefore, if the ice sheets on Antarctica slip into the sea, then coastal cities from New York to Sydney will be inundated.