student(mark).
student(steve).
student(helen).
student(sylvia).
student(pauline).
student(frank).

female(helen).
female(sylvia).
female(pauline).

male(mark).
male(steve).
male(frank).

clever(helen).
clever(steve).
clever(pauline).

works_hard(helen).
works_hard(mark).
works_hard(frank).

clever_girl(Girl):- 
	student(Girl),
	female(Girl),
	clever(Girl).

get_first(Student):-
	student(Student),
	clever(Student),
	works_hard(Student).

pass(Student):-
	student(Student),
	clever(Student).

pass(Student):-
	student(Student),
	works_hard(Student).


pass(Student):-
	student(Student),
	clever(Student);
	student(Student),
	works_hard(Student).