If Jane saves enough money for the summer, she will see a kangaroo.
Kangaroo is an animal. No Kangaroos live in Germany. If Jane saves enough money for the summer, she will fly to Germany. If Jane flies to Germany, she will go to the Berlin Zoo. If someone goes to the Berlin Zoo, they will see some of the animals that live in Germany.
∀x (Kangaroo(x) → Animal(x)) ∀x (Kangaroo(x) → ¬LiveIn(x, germany)) EnoughMoney(jane) → FlyTo(jane, germany) FlyTo(jane, germany) → GoTo(jane, berlinzoo)  ∀x ∃y (GoTo(x, berlinzoo) ∧ Animal(y) → MaySee(y, x, berlinzoo))