Question :
A swimmer is an athlete. Any athlete, who participatedin the 2016 Summer Olympics and won a gold medal, was joyful. Any athlete, who is the world top athlete or a selected well-trained athlete, participatedin the 2016 Summer Olympics.
Any time any participating athlete, who is performed the best in thefinal competition for a game, wins a gold medal for that game. Michael Phelps is one of the world top swimmer who wined many medals in past.
He performed the best in the three games of Men's 4X100m freestyle relay, Men's 200 m butterfly, and Men's 200m individual medley at the 2016 Summer Olympics in Rio de Janeiro from August 5 to 21, 2016.. Whether Michael Phelps was joyful when he won the gold medals?
Represent the sentences by predicate calculus
Turn them into clause form
Using resolution and unification to prove that Michael Phelps was joyful.