happy(X):- rich(X).

happy(X):- prof(X), has(X,nice_students).