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).

Write a program that keeps asking the user for new values to be added to a list until the user enters 'exit' ('exit' should not be added to the list). these values entered by the user are added to a list we call 'initial_list'. then write a function that takes this initial_list as input and returns another list with 3 copies of every value in the initial_list. finally, inside print out all of the values in the new list. for example: input: enter value to be added to list: a enter value to be added to list: b enter value to be added to list: c enter value to be added to list: exit output: a b c a b c a b c note how 'exit' is not added to the list. also, your program needs to be able to handle any variation of 'exit' such as 'exit', 'exit' etc. and treat them all as 'exit'.