Quote Originally Posted by karpiel View Post
That still doesn't explain why one I can see out my window at night is on all night, unless I walk under it.



Code:
@prefix : <witch#>.
@keywords is, of, a.

#[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.