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$)$