Monkey and the Bananas Problem

There is a room containing a monkey, a chair, and some bananas that have been hung from the center of the ceiling, out of reach from the monkey. If the monkye is clever enough, he can reach the bananas by placing the chair directly below them and climbing on top of the chai. The problem is to use FOPL to represent this monkey-banana world and prove that the monkey can reach the bananas.

Code Unleash