2. There are a golden box and silver box, both sealed. It is known that only one of them contains a diamond. Each of the boxes has a label on top, saying: Label on golden box: "The diamond is not here" Label on silver box: Exactly one of the labels is true" It is also known that at most one of the labels is true Use PROPOSITIONAL logic to represent in a knowledge base the information above, and use it to determine by means of Prover9 where the diamond is stored. More specifically (a) Write a propositional knowledge basis describing the above situation. Axplain. (b) Describe how to use Prover9 to deduce in which box is the diamond (c) Use Prover9 to solve your problem; include the file and run as in prob- lem 1; and explain what Prover9 did and how you use the result to aolve thee prokn 2. There are a golden box and silver box, both sealed. It is known that only one of them contains a diamond. Each of the boxes has a label on top, saying: Label on golden box: "The diamond is not here" Label on silver box: Exactly one of the labels is true" It is also known that at most one of the labels is true Use PROPOSITIONAL logic to represent in a knowledge base the information above, and use it to determine by means of Prover9 where the diamond is stored. More specifically (a) Write a propositional knowledge basis describing the above situation. Axplain. (b) Describe how to use Prover9 to deduce in which box is the diamond (c) Use Prover9 to solve your problem; include the file and run as in prob- lem 1; and explain what Prover9 did and how you use the result to aolve thee prokn