Knowledge Representation and Reasoning

Consider the following knowledge$-$base:

You have money

There is no government shutdown

If there is no government shutdown then anyone can obtain a passport

If anyone has something then that person can obtain that thing

If someone can obtain money then that person can obtain a plane ticket

If someone can obtain a plane ticket and that same person can obtain a

passport then that person can travel internationally

a$.$ Convert the sentences to First Order Logic form

b$.$ Use resolution to show that you can travel internationally for the break.

That is$,$ use resolution to find variable bindings for what we want to prove:

CanTravel $($person$,$ Internationally$).$

Hints:

Remember to re$-$write your First Order Logic sentences into a form

that is useful for resolution.