person(joe).
person(sean).
person(john).
person(earl).
person(tomcruise).
happy(earl).
happy(joe).
happy(john).
ahappyfellow(X):-
	person(X),
	happy(X).
notamerryman(X):-
	person(X),
	\+happy(X).