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