1. (4 points) Write the following statements in Skolemized clause form. Use only the following predicates. Note that any argument of a predicate could be a constant term (as in the examples below), or a variable term, or a function. Predicate nst own like Arguments Example inst(Fido0,dog) own(pat0,fido0) like(pat0,fido0) Meanin Fido is a dog Pat owns Fido Pat likes Fido A. All pets have an owner (use only the predicates inst and own) B. Cats and dogs are pets (use only the predicate inst) C. Pets who have the same owner like each other D. If someone doesn't like pets, then they don't own any E. Pat owns a dog and a cat. F. Chris doesn't like pets G. Fido is a dog H. Fluffy is a cat. 2. (2 points each) Prove each of the following: A. Chris does not own Fido B. Fluffy has an owner (think about how you would negate this in order to prove by contradiction) C. Pat's dog likes Pat's cat