∀x (FlightDestination(x) ∧ From(x, tweedAirport) → In(x, domesticAmerica))
∀x (¬NeedAPassportToVisit(americanCitizen, x) → ¬RusisanAsWidelySpokenLanguage(x))
∀x (In(x, domesticAmerica) → ¬NeedAPassportToVisit(americanCitizen, x))
∀x (BalticCountry(x) → RussianAsWidelySpokenLanguage(x))
∀x (HasManyEstonianStreetSigns(x) → BalticCountry(x))
(FlightDestination(placeVisitedByMax) ∧ From(placeVisitedByMax, tweedAirport)) ⊕ BalticCountry(placeVisitedByMax) → ¬(FlightDestination(placeVisitedByMax) ∧ From(placeVisitedByMax, tweedAirport))
HasManyEstonianStreetSigns(placeVisitedByMax)