6.5.13 Predicate calculus

Problem: Write the following sentences as predicate logic formulas and transform them into clausal form: "If there are no intelligent machines, and if every ideal machine is an intelligent machine, then an ideal machine does not exist".