Could anyone help me with this?
Donald and Daisy Duck took their nephews, age 4, 5, and 6, on an outing. Each boy wore a tee-shirt with a different design on it and of a different color. You are also given the following information:
■ Huey is younger than the boy in the green tee-shirt.
■ The 5-year-old wore the tee-shirt with the camel design.
■ Dewey’s tee-shirt was yellow.
■ Louie’s tee-shirt bore the giraffe design.
■ The panda design was not featured on the white tee-shirt.
Use the language containing the constants huey, dewey, louie, 4, 5, 6, green, yellow, white, camel, giraffe, and panda; the function symbols age/1, color/1, and design/1; and the predicate symbols Nephew/1, = /2 and < /2.
(a) Represent these facts as sentences in FOL.
(b) Using your formalization, is it possible to conclude the age of each boy together with the color and design of the tee-shirt he is wearing? Show semantically how you determined your answer.
(c) If your answer was “no,” indicate what further sentences you would need to add so that you could conclude the age of each boy together with the color and design of the tee-shirt he is wearing.