One day Lady Smith returned home and was surprised by a big birthday cake prepared by her three children, named Ada, Bob, and Chris. She was reliably informed that only one of them made this special gift for her.
Regarding which child made the cake children requested Lady Smith to figure out.
For this purpose Ada and Bob made their following statements: Lady Smith then asked Chris: "Whether this cake really made by Bob?" Chris answered "Yes, he did!"
Lady Smith knows that at least two of the children did not tell the truth.
Please help Lady Smith to prove that Ada is the cake maker by using Resolution and Unification.
Use logic expressions to represent essential statements above.
Turn the logic expressions into clausal forms.
Use Resolution and Unification to find the solution.