# http://clarkparsia.com/weblog/2007/01/02/burn-the-witch/
# http://www.netfunny.com/rhf/jokes/90q4/burnher.html

# original http://www.w3.org/2000/10/swap/test/reason/witch.n3

PREFIX : <http://josd.github.io/eye/reasoning/witch#>

#[1]     BURNS(x) /\ WOMAN(x)         =>    WITCH(x)
{ ?x a :BURNS. ?x a :WOMAN } => { ?x a :WITCH }.

#[2]    WOMAN(GIRL)
:GIRL a :WOMAN.

#[3]    \forall x, ISMADEOFWOOD(x)    =>    BURNS(x)
{ ?x a :ISMADEOFWOOD } => { ?x a :BURNS }.

#[4]    \forall x, FLOATS(x)         =>    ISMADEOFWOOD(x)
{ ?x a :FLOATS } => { ?x a :ISMADEOFWOOD }.

#[5]    FLOATS(DUCK)

:DUCK a :FLOATS.

#[6]    \forall x,y FLOATS(x) /\ SAMEWEIGHT(x,y) =>    FLOATS(y)
{ ?x a :FLOATS. ?x :SAMEWEIGHT ?y } => { ?y a :FLOATS }.

# and, by experiment
# [7]    SAMEWEIGHT(DUCK,GIRL)
:DUCK :SAMEWEIGHT :GIRL.
