Předpoklad uzavřeného světa (5)

• Uvažujme program

• P’: ZAJÍMAVÝ(Emil) :- NUDNÝ(Emil)

• tj. NUDNÝ(Emil) ZAJÍMAVÝ(Emil) což je  ZAJÍMAVÝ(Emil) NUDNÝ(Emil)

• Stratifikace vybere model ZAJÍMAVÝ(Emil)