<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">rainy(seattle).
rainy(rochester).
cold(rochester).
snowy(X):-rainy(X),!,cold(X).
snowy(troy).
</pre></body></html>