forms

((FORALL ?x ?y)
  (=> (and (Animal ?x) (CloseTo ?x ?y))
      (CanReach ?x ?y)))

((FORALL ?x ?y)
  (=> (and (On ?x ?y) (Under ?y Bananas) (Tall ?y))
      (CloseTo ?x Bananas)))

((FORALL ?x ?y ?z)
  (=> (and (InRoom ?x) (InRoom ?y) (InRoom ?z) (CanMoveNear ?x ?y ?z))
      (or (CloseTo ?z Floor) (Under ?y ?z))))

((FORALL ?x ?y)
  (=> (CanClimb ?x ?y) (On ?x ?y)))

(Animal Monkey)
(Tall Chair)
(InRoom Monkey)
(InRoom Bananas)
(InRoom Chair)
(CanMoveNear Monkey Chair Bananas)
(not (CloseTo Bananas Floor))
(CanClimb Monkey Chair)
