FOL Naturual Deduction

The law says that it is a crime for an American to sell weapons to a hostile nation. The country Nono, an enemy of America, has some missiles, all of which were sold to it by Colonel West, who is an American. Prove Colonel West is a criminal. Hint: first represent the English text in FOL, then prove via Natural Deduction The law says that it is a crime for an American to sell weapons to a hostile nation. The country Nono, an enemy of America, has some missiles, all of which were sold to it by Colonel West, who is an American. Prove Colonel West is a criminal. Hint: first represent the English text in FOL, then prove via Natural Deduction