:DUCK
:type
:BURNS
.
(show rule)
{
var:x_0
a :ISMADEOFWOOD} => {
var:x_0
a :BURNS}
var:x_0
=
:DUCK
(from: http://josd.github.io/eye/reasoning/witch/witch.n3)
:DUCK
:type
:ISMADEOFWOOD
.
(show rule)
{
var:x_0
a :FLOATS} => {
var:x_0
a :ISMADEOFWOOD}
var:x_0
=
:DUCK
(from: http://josd.github.io/eye/reasoning/witch/witch.n3)
:DUCK
:type
:FLOATS
.
:GIRL
:type
:WITCH
.
(show rule)
{
var:x_0
a :BURNS.
var:x_0
a :WOMAN} => {
var:x_0
a :WITCH}
var:x_0
=
:GIRL
(from: http://josd.github.io/eye/reasoning/witch/witch.n3)
:GIRL
:type
:BURNS
.
(show rule)
{
var:x_0
a :ISMADEOFWOOD} => {
var:x_0
a :BURNS}
var:x_0
=
:GIRL
(from: http://josd.github.io/eye/reasoning/witch/witch.n3)
:GIRL
:type
:ISMADEOFWOOD
.
(show rule)
{
var:x_0
a :FLOATS} => {
var:x_0
a :ISMADEOFWOOD}
var:x_0
=
:GIRL
(from: http://josd.github.io/eye/reasoning/witch/witch.n3)
:GIRL
:type
:FLOATS
.
(show rule)
{
var:x_0
a :FLOATS.
var:x_0
:SAMEWEIGHT
var:x_1}
=> {
var:x_1
a :FLOATS}
var:x_0
=
:DUCK
var:x_1
=
:GIRL
(from: http://josd.github.io/eye/reasoning/witch/witch.n3)
:DUCK
:type
:FLOATS
.
:DUCK
:SAMEWEIGHT
:GIRL
.
:GIRL
:type
:WOMAN
.