Question

A swimmer is an athlete. Any athlete, who participated in 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, participated in the 2016 Summer Olympics. Any time any participating athlete, who is performed the best in the final 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.

Answer 1

Facts:

1.A Swimmer is an athelete
2.Michael Phelps is the world top swimmer
3.Michael Phelps performed best in three games Mens 4x100m freestyle relay, Mens 200m butterfly and Mens 200m individual medley in 2016 Summer Olympics

Rules:

1.Any athelete who has partcipated and won gold medal in 2016 Summer Olympics := The athelete is joyful
2.Any athelete who is world top athelete or selected well trained athelete:= The athelet particpated in 2016 Summer Olympics
3.Any partcipating athelete who performs the best in the final competition of the game : The athelet wins the gold

To Prove:

Michael Phelps is joyful

Proof (Steps have to be followed strictly in the following defined order):

1.As per Fact (2) and Fact (1) it is clear that Michael Phelps is a world top athelete
2.Then as per Rrule (2) it is clear that Michael Phelps particpated in 2016 Summer Olympics
3.Then as per Fact (3) and Rule (3) it is clear that Michael Phelps wins the gold
4.Then as per Rule (1) it is clear that Michael Phelps is joyful.