Hi there, I need help to solve this question.

There exists a very famous problem which refers to a farmer trying to cross a river. The farmer has a boat. The farmer is accompanied by a very eccentric MACM 101 instructor, a very delicious vegetarian pizza and a very hungry sabretooth tiger. While such inclusiveness in company kept is admirable, it does cause some logistic issues. The instructor will instantly devour the pizza and the tiger will instantly devour the instructor, unless the farmer is also present to keep the peace. The food chain will also be disrupted if the vic- tims and their would-be devourers are on sepa- rate sides of the river. Both the farmer and the instructor can row the boat from one end of the river to another. The pizza and the tiger lack opposable thumbs and cannot row. The boat can carry up to three entities in it. Model the following constraints on the prob- lem, using logic. 1. Model the requirement that nobody should be eaten. 2. Model the food chain being in effect. Take into account the farmer and distance as pre- ventative measures on consumption. 3. Model the requirement that the boat can't move unless it is crewed by an entity with op- posable thumbs. 4. Model the requirement that the boat can- not carry more than three entities in it at the same time. 5. Model the fact that an entity is either in the boat, on the far shore or on the near shore. Do this for every entity. You will need to create plenty ofpropositions here. I suggest using just one proposition to de- note both failure or an impossible state. You don't need to consider the element of time too much here. Consider at most two differ- ent time steps, where appropriate. Write down the solution to the problem above. Start everyone on one shore and make them all end up on the other shore. For every step of the solution, check against at least one restriction to make sure that you haven't made a mistake. Write down your solution and the rules you had to check at every step