accepted(Student) <- returning(Student) & goodStanding(Student) & clearBalance(Student).

accepted(Student) <- appComplete(Student) & qualified(Student).

qualified(Student) <- legacyStudent(Student).

qualified(Student) <- highSAT(Student) & goodHS(Student). 

legacyStudent(Student) <- child(Student, Parent) & graduate(Parent). 

goodHS(chris).

graduate(sam).

child(chris, sam).

appComplete(chris).

returning(laura).

goodStanding(laura).