katze(amanda).
katze(fritz).
katze(minni).
katze(morus).
hamster(otto).
hund(paul).
hund(timmi).
hund(bello).
haustier(X):-katze(X);hund(X);hamster(X).