• :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 .