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