# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:26 GMT
{
 (
 <http://www.agfa.com/w3c/euler/rdfs-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/subprop.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/subprop-query.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/subprop#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
   {[iw:Variable "?P"] = :husband. 
    [iw:Variable "?P"] rdfs:subPropertyOf :spouse} =>
  {:husband rdfs:subPropertyOf :spouse}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs7>. 
     {[iw:Variable "?P"] = :firstHusband. 
      [iw:Variable "?P"] rdfs:subPropertyOf :husband} =>
    {:firstHusband rdfs:subPropertyOf :husband}. 
     {[iw:Variable "?S"] = :Mary. 
      [iw:Variable "?P"] = :firstHusband.
      [iw:Variable "?O"] = :Dan. 
      [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
    {:Mary :firstHusband :Dan}. 
    [iw:Variable "?S"] = :Mary. 
    [iw:Variable "?P"] = :husband.
    [iw:Variable "?O"] = :Dan. 
    [iw:Variable "?S"] [iw:Variable "?P"] [iw:Variable "?O"]} =>
  {:Mary :husband :Dan}. 
  [iw:Variable "_:x_3"] = :Mary. 
  [iw:Variable "_:y_3"] = :Dan. 
  [iw:Variable "_:x_3"] :spouse [iw:Variable "_:y_3"]} =>
{:Mary :spouse :Dan}. 
# Proof found for http://www.agfa.com/w3c/euler/subprop-query.n3 in 6 steps (600000 steps/sec) using 1 engine
}.