# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:20:07 GMT+01:00 2001
# for query http://www.agfa.com/w3c/euler/test-test.n3
# given [http://www.agfa.com/w3c/euler/test.n3]

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/test#>.

[ :a
  :b]  .
:a :b :c.
:a :d :e.
:f :g {:h :i
      :j}.
:a :b :c.
:a :d {:e :f
      :g}.
:a :b :c.
:a :b :d.
:a :b :e.
[ :a
  :b; :c :d] 
      .
:a :b [ :c :d].
{:a :b [ :c :d]} :e :f.
{[ :a
  :b] :c :d} :e :f.
[ :a
  :b; :c :d; :e
      :f; :g :h] 
          .
[ :a
  [ :b :c]; :d [ :e :f]; :g
      :h]  .
[ :a
  [ :b [ :c :d]]; :e :f] 
      .
{:a ap0 :d} log:forSome ap0.
{ap0 :b :c} log:forSome ap0.

# Proof found for http://www.agfa.com/w3c/euler/test-test.n3 in 37 steps (5524 steps/sec)