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

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

 {:husband :genlPreds :spouse.
   {:firstHusband :genlPreds :husband.
    :Mary :firstHusband :Dan} log:implies
  {:Mary :husband :Dan}} log:implies
{:Mary :spouse :Dan}.

# Proof found for http://www.agfa.com/w3c/euler/subprop-query.n3 in 7 steps (535 steps/sec)