LocatedIn(newYorkCity, unitedStatesOfAmerica)
LocatedIn(usa, northAmerica)
LocatedIn(northAmerica, westernHemisphere)
HighlyDeveloped(newYorkCity)
∀x ∀y ∀z ((LocatedIn(x, y) ∧ LocatedIn(y, z)) → LocatedIn(x, z))
¬LocatedIn(unitedStatesOfAmerica, westHemisphere)