Let l be the first-order language with a single predicate s(p; q), meaning "p shaves q." assume a domain of people. a. consider the sentence "there exists a person p who shaves every one who does not shave themselves, and only people that do not shave themselves." express this in l. b. is this sentence satisfiable? explain your answer. c. convert the sentence in a. to clausal form. d. construct a resolution proof to show that the clauses in c. are inherently inconsistent. (note: you do not need any additional axioms).