Run the top-down derivation of the query accepted(chris) applied to your KB.
  • yes ← [accepted(chris)].
    yes ← [appComplete(chris), qualified(chris)].
    yes ← [qualified(chris)].
    yes ← [legacyStudent(chris)].
    yes ← [child(chris, Parent), graduate(Parent)].
    yes ← [graduate(sam)].
    yes.
    "yes" - proven

Valid HTML 4.0 Transitional