Sarah will spend money this weekend.
All rental cars cost the renter money. Whenever Sarah goes to Vermont, Sarah drives there. For someone who does not own a car to drive somewhere, they must either borrow a car or rent a car. Sarah doesn’t own a car. Sarah never borrows a car to go camping. Sarah is going to go camping in Vermont this weekend. To go camping somewhere, you must go to that place.
∀x (Rent(x, car) → Spend(x, money)) GoesTo(sarah, vermont) → DriveTo(sarah, vermont) ∀x ∀y (¬Own(x, car) ∧ DriveTo(x, y) → Borrow(x, car) ⊕ Rent(x, car)) ¬Own(sarah, car) ∀x (Camping(sarah, x) → ¬(Borrow(sarah, car))) Camping(sarah, vermont) ∀x ∀y (Camping(x, y) → GoesTo(x, y))