On the Island of Knights and Knaves, every inhabitant is either a knight or a knave. Knights always speak the truth and knaves always lie. An inhabitant of the Island says, "If I am a knight, then there is gold on the Island." Use OTTER to prove that there is gold on the Island. State the premisses and the conclusion for the problem. Find the clauses for the premisses and the clauses for the negated conclusion. Show the input file for OTTER. Show the result file for OTTER.

Using OTTER 3.3 version