# Generated with Euler 26.084 on Sun Jun 24 03:02:19 CEST 2001
#
# @prefix ns: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
# @prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
# @prefix : <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
# @prefix rr: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
# @prefix log: <http://www.w3.org/2000/10/swap/log#>.
# @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
# @prefix nsns: <file:/rgml/simplegraph_query.n3#>.
# @prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
# @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
# {nsns:u rr:adjacent nsns:v} log:forSome nsns:u, nsns:v.

@prefix ns: <http://www.cs.rpi.edu/~puninj/RGML/N3/simple_graph#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix rr: <http://www.cs.rpi.edu/~puninj/RGML/N3/rgml_rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix nsns: <file:/rgml/simplegraph_query.n3#>.
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {ns:e1 rgml:source ns:n1.
  ns:e1 rgml:target ns:n2} log:implies
{ns:n1 rr:adjacent ns:n2}.

 {ns:e2 rgml:source ns:n1.
  ns:e2 rgml:target ns:n3} log:implies
{ns:n1 rr:adjacent ns:n3}.

 {{ns:e1 rgml:source ns:n1.
    ns:e1 rgml:target ns:n2} log:implies
  {ns:n1 :adjacent ns:n2}} log:implies
{ns:n2 rr:adjacent ns:n1}.

 {{ns:e2 rgml:source ns:n1.
    ns:e2 rgml:target ns:n3} log:implies
  {ns:n1 :adjacent ns:n3}} log:implies
{ns:n3 rr:adjacent ns:n1}.

# Proof found for file:/rgml/simplegraph_query.n3 in 18 steps (180000009 steps/sec)