see

Burn the witch

Insight

The derivation produced 6 new fact(s) from 3 stated fact(s).
Main conclusion: :GIRL is a :WITCH.

Selected conclusions:

• :GIRL rdf:type :WITCH .
• :GIRL rdf:type :BURNS .
• :GIRL rdf:type :ISMADEOFWOOD .
• :DUCK rdf:type :BURNS .
• :GIRL rdf:type :FLOATS .
• :DUCK rdf:type :ISMADEOFWOOD .

Explanation

The generated JavaScript starts from 3 compiled source fact(s), applies 4 compiled rule(s), and stops only after a fixpoint is reached.

A compact derivation path is:

• Rule 3: if ?x rdf:type :FLOATS, then ?x rdf:type :ISMADEOFWOOD. This produced :DUCK rdf:type :ISMADEOFWOOD .
  • Premises used:
    • :DUCK rdf:type :FLOATS . (source fact)
• Rule 4: if ?x rdf:type :FLOATS; ?x :SAMEWEIGHT ?y, then ?y rdf:type :FLOATS. This produced :GIRL rdf:type :FLOATS .
  • Premises used:
    • :DUCK rdf:type :FLOATS . (source fact)
    • :DUCK :SAMEWEIGHT :GIRL . (source fact)
• Rule 2: if ?x rdf:type :ISMADEOFWOOD, then ?x rdf:type :BURNS. This produced :DUCK rdf:type :BURNS .
  • Premises used:
    • :DUCK rdf:type :ISMADEOFWOOD . (derived fact)
• Rule 3: if ?x rdf:type :FLOATS, then ?x rdf:type :ISMADEOFWOOD. This produced :GIRL rdf:type :ISMADEOFWOOD .
  • Premises used:
    • :GIRL rdf:type :FLOATS . (derived fact)
• Rule 2: if ?x rdf:type :ISMADEOFWOOD, then ?x rdf:type :BURNS. This produced :GIRL rdf:type :BURNS .
  • Premises used:
    • :GIRL rdf:type :ISMADEOFWOOD . (derived fact)
• Rule 1: if ?x rdf:type :BURNS; ?x rdf:type :WOMAN, then ?x rdf:type :WITCH. This produced :GIRL rdf:type :WITCH .
  • Premises used:
    • :GIRL rdf:type :BURNS . (derived fact)
    • :GIRL rdf:type :WOMAN . (source fact)

Evidence

These are the derived non-input facts selected for the report. Source facts that support the explanation are shown inline with each derivation step.

:DUCK rdf:type :ISMADEOFWOOD .  
:GIRL rdf:type :FLOATS .  
:DUCK rdf:type :BURNS .  
:GIRL rdf:type :ISMADEOFWOOD .  
:GIRL rdf:type :BURNS .  
:GIRL rdf:type :WITCH .