# Generated with http://www.agfa.com/w3c/euler/#27.059 on Wed Aug 29 22:08:30 GMT+02:00 2001
# for query http://www.agfa.com/w3c/euler/varprop-query.n3
# given [http://www.agfa.com/w3c/euler/varprop.n3]

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

 {{:husband :genlPreds :spouse} log:forSome :s, :o.
   {{:firstHusband :genlPreds :husband} log:forSome :s, :o.
    :Mary :firstHusband :Dan} log:implies
  {:Mary :husband :Dan}} log:implies
{:Mary :spouse :Dan}.

# Proof found for http://www.agfa.com/w3c/euler/varprop-query.n3 in 44 steps (3237 steps/sec)