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