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.
A Boeing 757 crashed into the Pentagon on 9/11 only if two giant engines were found outside the building. It is not the case that two giant engines were found outside the building. Therefore, a Boeing 757 did not crash into the Pentagon on 9/11.