Q2. Read the following paragraph and answer the consequent questions: "The law says that it is a crime for a Canadian to sell weapons to hostile nations. The country Toto, an enemy of Canada, has some missiles, and all of its missiles were sold to it by Colonel John, who is Canadian. a. Convert each statement into first-order logic b. Prove that Col. John is a criminal Q2. Read the following paragraph and answer the consequent questions: "The law says that it is a crime for a Canadian to sell weapons to hostile nations. The country Toto, an enemy of Canada, has some missiles, and all of its missiles were sold to it by Colonel John, who is Canadian. a. Convert each statement into first-order logic b. Prove that Col. John is a criminal