∃x (Apply(x, schengenVisa) → Get(x, schengenVisa))
∀x (Apply(x, schengenVisa) → Provide(x, financialGuarantees))
∀x (Provide(x, financialGuarantees) → Request(x, documentsFromBank))
∀x (Request(x, documentsFromBank) → ¬Close(x, bankAccount))
Close(philip, bankAccount)
Get(philip, schengenVisa)