# Generated with Euler 26.086 on Tue Jun 26 23:16:27 CEST 2001
#
# @prefix log: <http://www.w3.org/2000/10/swap/log#>.
# @prefix : <file:/n3/ext-rules.n3#>.
# {:s0 :is :z} log:forSome :z.

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <file:/n3/ext-rules.n3#>.

 {:s0 :is [ :p1 :o1; :p2 :o2].
  :s0 :p3 :o3} log:implies
{:s0 :is [ :p1 :o1; :p2 :o2; :p3 :o3]}.

:s0 :is [ :p1 :o1; :p2 :o2].

# Proof found for file:/n3/ext-query.n3 in 7 steps (349 steps/sec)