rainy(seattle):-!.
rainy(rochester).
cold(rochester).
snowy(X):-rainy(X),cold(X).
snowy(troy).