in the back of a magazine you find a riddle : 'suppose that liars always speak what is false, and truth tellers always spea what is true further suppose that Amy is either a liar or a truth teller. 'The riddlethen provids some additional facts about Amyand ask whether Amy has to be truth teller. Excitedly, you encode the fact inpropositional logic and implement a resolution procedure on yourcomputer. since you do not make any mistakes, the computer will give you the correct answer. you ask the computer whether the facts entail that Amy is a truth teller. The computer tells you that the fact do not entsil that Amy is a truth teller. since the text states that Amy is either a liar or a truth teller, can you conclude that Amy is a liar?