QUERY:
?- intraocularLens.

USER PREDICATES:
intraocularLens :-
     correctiveLens,
     not glasses,
     not contactLens.

laserSurgery :-
     shortSighted,
     not tightOnMoney,
     not correctiveLens.

glasses :-
     correctiveLens,
     not caresPracticality,
     not contactLens.

contactLens :-
     correctiveLens,
     not afraidToTouchEyes,
     not longSighted,
     not glasses.

correctiveLens :-
     shortSighted,
     not laserSurgery.

tightOnMoney :-
     student,
     not richParents.

caresPracticality :-
     likesSports.

shortSighted.
afraidToTouchEyes.
student.
likesSports.

DUAL RULES:
not intraocularLens :-
     not o_intraocularLens_1.

not o_intraocularLens_1 :-
     not correctiveLens.
not o_intraocularLens_1 :-
     correctiveLens,
     glasses.
not o_intraocularLens_1 :-
     correctiveLens,
     not glasses,
     contactLens.

not correctiveLens :-
     not o_correctiveLens_1.

not o_correctiveLens_1 :-
     not shortSighted.
not o_correctiveLens_1 :-
     shortSighted,
     laserSurgery.

not glasses :-
     not o_glasses_1.

not o_glasses_1 :-
     not correctiveLens.
not o_glasses_1 :-
     correctiveLens,
     caresPracticality.
not o_glasses_1 :-
     correctiveLens,
     not caresPracticality,
     contactLens.

not contactLens :-
     not o_contactLens_1.

not o_contactLens_1 :-
     not correctiveLens.
not o_contactLens_1 :-
     correctiveLens,
     afraidToTouchEyes.
not o_contactLens_1 :-
     correctiveLens,
     not afraidToTouchEyes,
     longSighted.
not o_contactLens_1 :-
     correctiveLens,
     not afraidToTouchEyes,
     not longSighted,
     glasses.

not laserSurgery :-
     not o_laserSurgery_1.

not o_laserSurgery_1 :-
     not shortSighted.
not o_laserSurgery_1 :-
     shortSighted,
     tightOnMoney.
not o_laserSurgery_1 :-
     shortSighted,
     not tightOnMoney,
     correctiveLens.

not shortSighted :-
     not o_shortSighted_1.

not tightOnMoney :-
     not o_tightOnMoney_1.

not o_tightOnMoney_1 :-
     not student.
not o_tightOnMoney_1 :-
     student,
     richParents.

not caresPracticality :-
     not o_caresPracticality_1.

not o_caresPracticality_1 :-
     not likesSports.

not afraidToTouchEyes :-
     not o_afraidToTouchEyes_1.

not longSighted.
not student :-
     not o_student_1.

not richParents.
not likesSports :-
     not o_likesSports_1.


GLOBAL CONSTRAINTS:
global_constraint.