# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:31 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/owl-facts.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/owl-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <>.<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/owl-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@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#>.


:j owl:sameAs :i. 
:o owl:sameAs :m. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl8s1>. 
   {[iw:Variable "?B"] = :y. 
    [iw:Variable "?Y"] = _:8347303_1. 
    [iw:Variable "?B"] owl:intersectionOf [iw:Variable "?Y"]} =>
  {:y owl:intersectionOf _:8347303_1}. 
   {[iw:Variable "?A"] = :x. 
    [iw:Variable "?X"] = _:6794265_1. 
    [iw:Variable "?A"] owl:intersectionOf [iw:Variable "?X"]} =>
  {:x owl:intersectionOf _:6794265_1}. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
     {[iw:Variable "?S"] = _:8347303_1. 
      [iw:Variable "?A"] = :b. 
      [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
    {_:8347303_1 rdf:first :b}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
       {[iw:Variable "?S"] = _:6794265_1. 
        [iw:Variable "?B"] = _:5487165_1. 
        [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
      {_:6794265_1 rdf:rest _:5487165_1}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
         {[iw:Variable "?S"] = _:5487165_1. 
          [iw:Variable "?X"] = :b. 
          [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
        {_:5487165_1 rdf:first :b}. 
        [iw:Variable "?B"] = _:5487165_1. 
        [iw:Variable "?X"] = :b. 
        [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
      {_:5487165_1 :item :b}. 
      [iw:Variable "?X"] = _:6794265_1. 
      [iw:Variable "?A"] = :b. 
      [iw:Variable "?X"] :item [iw:Variable "?A"]} =>
    {_:6794265_1 :item :b}. 
     {[iw:Variable "?S"] = _:8347303_1. 
      [iw:Variable "?B"] = _:2042379_1. 
      [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
    {_:8347303_1 rdf:rest _:2042379_1}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
       {[iw:Variable "?S"] = _:2042379_1. 
        [iw:Variable "?A"] = :c. 
        [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
      {_:2042379_1 rdf:first :c}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
         {[iw:Variable "?S"] = _:6794265_1. 
          [iw:Variable "?B"] = _:5487165_1. 
          [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
        {_:6794265_1 rdf:rest _:5487165_1}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[iw:Variable "?S"] = _:5487165_1. 
            [iw:Variable "?B"] = _:6818393_1. 
            [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
          {_:5487165_1 rdf:rest _:6818393_1}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
             {[iw:Variable "?S"] = _:6818393_1. 
              [iw:Variable "?X"] = :c. 
              [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
            {_:6818393_1 rdf:first :c}. 
            [iw:Variable "?B"] = _:6818393_1. 
            [iw:Variable "?X"] = :c. 
            [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
          {_:6818393_1 :item :c}. 
          [iw:Variable "?B"] = _:5487165_1. 
          [iw:Variable "?X"] = :c. 
          [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
        {_:5487165_1 :item :c}. 
        [iw:Variable "?X"] = _:6794265_1. 
        [iw:Variable "?A"] = :c. 
        [iw:Variable "?X"] :item [iw:Variable "?A"]} =>
      {_:6794265_1 :item :c}. 
       {[iw:Variable "?S"] = _:2042379_1. 
        [iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>. 
        [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
      {_:2042379_1 rdf:rest <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl41i1>. 
         {[iw:Variable "?X"] = _:6794265_1. 
          [iw:Variable "?X"] = _:6794265_1. 
          [iw:Variable "?X"] = [iw:Variable "?X"]} =>
        {_:6794265_1 = _:6794265_1}. 
        [iw:Variable "?X"] = _:6794265_1. 
        [iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>. 
        [iw:Variable "?X"] :includes [iw:Variable "?B"]} =>
      {_:6794265_1 :includes <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
      [iw:Variable "?X"] = _:6794265_1. 
      [iw:Variable "?B"] = _:2042379_1. 
      [iw:Variable "?X"] :includes [iw:Variable "?B"]} =>
    {_:6794265_1 :includes _:2042379_1}. 
    [iw:Variable "?X"] = _:6794265_1. 
    [iw:Variable "?Y"] = _:8347303_1. 
    [iw:Variable "?X"] :includes [iw:Variable "?Y"]} =>
  {_:6794265_1 :includes _:8347303_1}}  =>
{:x rdfs:subClassOf :y}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl8c1>. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs11>. 
     {[iw:Variable "?B"] = :test43. 
      [iw:Variable "?C"] = :test34. 
      [iw:Variable "?B"] rdfs:subClassOf [iw:Variable "?C"]} =>
    {:test43 rdfs:subClassOf :test34}. 
     {[iw:Variable "?A"] = :test46. 
      [iw:Variable "?B"] = :test43. 
      [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
    {:test46 rdfs:subClassOf :test43}. 
    [iw:Variable "?A"] = :test46. 
    [iw:Variable "?B"] = :test34. 
    [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
  {:test46 rdfs:subClassOf :test34}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs11>. 
     {[iw:Variable "?B"] = :test43. 
      [iw:Variable "?C"] = :test46. 
      [iw:Variable "?B"] rdfs:subClassOf [iw:Variable "?C"]} =>
    {:test43 rdfs:subClassOf :test46}. 
     {[iw:Variable "?A"] = :test34. 
      [iw:Variable "?B"] = :test43. 
      [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
    {:test34 rdfs:subClassOf :test43}. 
    [iw:Variable "?B"] = :test34. 
    [iw:Variable "?A"] = :test46. 
    [iw:Variable "?B"] rdfs:subClassOf [iw:Variable "?A"]} =>
  {:test34 rdfs:subClassOf :test46}}  =>
{:test46 owl:equivalentClass :test34}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl3r1>. 
   {[iw:Variable "?R"] = :R2. 
    [iw:Variable "?R"] owl:onProperty :p2} =>
  {:R2 owl:onProperty :p2}. 
   {[iw:Variable "?R"] = :R2. 
    [iw:Variable "?Y"] = :y2. 
    [iw:Variable "?R"] owl:hasValue [iw:Variable "?Y"]} =>
  {:R2 owl:hasValue :y2}. 
   {[iw:Variable "?X"] = :x2. 
    [iw:Variable "?R"] = :R2. 
    [iw:Variable "?X"] a [iw:Variable "?R"]} =>
  {:x2 a :R2}}  =>
{:x2 :p2 :y2}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl8c1>. 
   {[iw:Variable "?A"] = :Automobile. 
    [iw:Variable "?B"] = :Car. 
    [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
  {:Automobile rdfs:subClassOf :Car}. 
   {[iw:Variable "?B"] = :Car. 
    [iw:Variable "?A"] = :Automobile. 
    [iw:Variable "?B"] rdfs:subClassOf [iw:Variable "?A"]} =>
  {:Car rdfs:subClassOf :Automobile}}  =>
{:Automobile owl:equivalentClass :Car}. 
 {[iw:Variable "_:215989_5"] = _:215989_5. 
  [iw:Variable "_:6248599_5"] = _:6248599_5. 
  [iw:Variable "_:215989_5"] owl:oneOf [iw:Variable "_:6248599_5"]} =>
{_:215989_5 owl:oneOf _:6248599_5}. 
 {[iw:Variable "_:6248599_5"] = _:6248599_5. 
  [iw:Variable "_:6248599_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :d} =>
{_:6248599_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :d}. 
 {[iw:Variable "_:6248599_5"] = _:6248599_5. 
  [iw:Variable "_:3236565_5"] = _:3236565_5. 
  [iw:Variable "_:6248599_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [iw:Variable "_:3236565_5"]} =>
{_:6248599_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:3236565_5}. 
 {[iw:Variable "_:3236565_5"] = _:3236565_5. 
  [iw:Variable "_:3236565_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :c} =>
{_:3236565_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :c}. 
 {[iw:Variable "_:3236565_5"] = _:3236565_5. 
  [iw:Variable "_:5223753_5"] = _:5223753_5. 
  [iw:Variable "_:3236565_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [iw:Variable "_:5223753_5"]} =>
{_:3236565_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:5223753_5}. 
 {[iw:Variable "_:5223753_5"] = _:5223753_5. 
  [iw:Variable "_:5223753_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :b} =>
{_:5223753_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :b}. 
 {[iw:Variable "_:5223753_5"] = _:5223753_5. 
  [iw:Variable "_:447681_5"] = _:447681_5. 
  [iw:Variable "_:5223753_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [iw:Variable "_:447681_5"]} =>
{_:5223753_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:447681_5}. 
 {[iw:Variable "_:447681_5"] = _:447681_5. 
  [iw:Variable "_:447681_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :a} =>
{_:447681_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :a}. 
 {[iw:Variable "_:447681_5"] = _:447681_5. 
  [iw:Variable "_:447681_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>} =>
{_:447681_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
 {[iw:Variable "_:7993816_5"] = _:7993816_5. 
  [iw:Variable "_:134618_5"] = _:134618_5. 
  [iw:Variable "_:7993816_5"] owl:intersectionOf [iw:Variable "_:134618_5"]} =>
{_:7993816_5 owl:intersectionOf _:134618_5}. 
 {[iw:Variable "_:134618_5"] = _:134618_5. 
  [iw:Variable "_:134618_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :C} =>
{_:134618_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :C}. 
 {[iw:Variable "_:134618_5"] = _:134618_5. 
  [iw:Variable "_:5994886_5"] = _:5994886_5. 
  [iw:Variable "_:134618_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [iw:Variable "_:5994886_5"]} =>
{_:134618_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:5994886_5}. 
 {[iw:Variable "_:5994886_5"] = _:5994886_5. 
  [iw:Variable "_:5994886_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :X} =>
{_:5994886_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :X}. 
 {[iw:Variable "_:5994886_5"] = _:5994886_5. 
  [iw:Variable "_:491885_5"] = _:491885_5. 
  [iw:Variable "_:5994886_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> [iw:Variable "_:491885_5"]} =>
{_:5994886_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:491885_5}. 
 {[iw:Variable "_:491885_5"] = _:491885_5. 
  [iw:Variable "_:491885_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :A} =>
{_:491885_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> :A}. 
 {[iw:Variable "_:491885_5"] = _:491885_5. 
  [iw:Variable "_:491885_5"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>} =>
{_:491885_5 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl9o1>. 
   {[iw:Variable "?C"] = :H. 
    [iw:Variable "?L"] = _:7259666_1. 
    [iw:Variable "?C"] owl:oneOf [iw:Variable "?L"]} =>
  {:H owl:oneOf _:7259666_1}. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
     {[iw:Variable "?S"] = _:7259666_1. 
      [iw:Variable "?B"] = _:905719_1. 
      [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
    {_:7259666_1 rdf:rest _:905719_1}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
       {[iw:Variable "?S"] = _:905719_1. 
        [iw:Variable "?X"] = :m. 
        [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
      {_:905719_1 rdf:first :m}. 
      [iw:Variable "?B"] = _:905719_1. 
      [iw:Variable "?X"] = :m. 
      [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
    {_:905719_1 :item :m}. 
    [iw:Variable "?L"] = _:7259666_1. 
    [iw:Variable "?X"] = :m. 
    [iw:Variable "?L"] :item [iw:Variable "?X"]} =>
  {_:7259666_1 :item :m}}  =>
{:m a :H}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl9i2>. 
   {[iw:Variable "?C"] = :y. 
    [iw:Variable "?L"] = _:8347303_1. 
    [iw:Variable "?C"] owl:intersectionOf [iw:Variable "?L"]} =>
  {:y owl:intersectionOf _:8347303_1}. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
     {[iw:Variable "?S"] = _:8347303_1. 
      [iw:Variable "?A"] = :b. 
      [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
    {_:8347303_1 rdf:first :b}. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
         {[iw:Variable "?A"] = :x. 
          [iw:Variable "?X"] = _:6794265_1. 
          [iw:Variable "?A"] owl:intersectionOf [iw:Variable "?X"]} =>
        {:x owl:intersectionOf _:6794265_1}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[iw:Variable "?S"] = _:6794265_1. 
            [iw:Variable "?B"] = _:5487165_1. 
            [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
          {_:6794265_1 rdf:rest _:5487165_1}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
             {[iw:Variable "?S"] = _:5487165_1. 
              [iw:Variable "?X"] = :b. 
              [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
            {_:5487165_1 rdf:first :b}. 
            [iw:Variable "?B"] = _:5487165_1. 
            [iw:Variable "?X"] = :b. 
            [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
          {_:5487165_1 :item :b}. 
          [iw:Variable "?X"] = _:6794265_1. 
          [iw:Variable "?B"] = :b. 
          [iw:Variable "?X"] :item [iw:Variable "?B"]} =>
        {_:6794265_1 :item :b}. 
        [iw:Variable "?A"] = :x. 
        [iw:Variable "?B"] = :b. 
        [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
      {:x rdfs:subClassOf :b}. 
       {[iw:Variable "?S"] = :J. 
        [iw:Variable "?A"] = :x. 
        [iw:Variable "?S"] a [iw:Variable "?A"]} =>
      {:J a :x}. 
      [iw:Variable "?X"] = :J. 
      [iw:Variable "?A"] = :b. 
      [iw:Variable "?X"] a [iw:Variable "?A"]} =>
    {:J a :b}. 
     {[iw:Variable "?S"] = _:8347303_1. 
      [iw:Variable "?B"] = _:2042379_1. 
      [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
    {_:8347303_1 rdf:rest _:2042379_1}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
       {[iw:Variable "?S"] = _:2042379_1. 
        [iw:Variable "?A"] = :c. 
        [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
      {_:2042379_1 rdf:first :c}. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
           {[iw:Variable "?A"] = :x. 
            [iw:Variable "?X"] = _:6794265_1. 
            [iw:Variable "?A"] owl:intersectionOf [iw:Variable "?X"]} =>
          {:x owl:intersectionOf _:6794265_1}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[iw:Variable "?S"] = _:6794265_1. 
              [iw:Variable "?B"] = _:5487165_1. 
              [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
            {_:6794265_1 rdf:rest _:5487165_1}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
               {[iw:Variable "?S"] = _:5487165_1. 
                [iw:Variable "?B"] = _:6818393_1. 
                [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
              {_:5487165_1 rdf:rest _:6818393_1}. 
               {
                <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
                 {[iw:Variable "?S"] = _:6818393_1. 
                  [iw:Variable "?X"] = :c. 
                  [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
                {_:6818393_1 rdf:first :c}. 
                [iw:Variable "?B"] = _:6818393_1. 
                [iw:Variable "?X"] = :c. 
                [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
              {_:6818393_1 :item :c}. 
              [iw:Variable "?B"] = _:5487165_1. 
              [iw:Variable "?X"] = :c. 
              [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
            {_:5487165_1 :item :c}. 
            [iw:Variable "?X"] = _:6794265_1. 
            [iw:Variable "?B"] = :c. 
            [iw:Variable "?X"] :item [iw:Variable "?B"]} =>
          {_:6794265_1 :item :c}. 
          [iw:Variable "?A"] = :x. 
          [iw:Variable "?B"] = :c. 
          [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
        {:x rdfs:subClassOf :c}. 
         {[iw:Variable "?S"] = :J. 
          [iw:Variable "?A"] = :x. 
          [iw:Variable "?S"] a [iw:Variable "?A"]} =>
        {:J a :x}. 
        [iw:Variable "?X"] = :J. 
        [iw:Variable "?A"] = :c. 
        [iw:Variable "?X"] a [iw:Variable "?A"]} =>
      {:J a :c}. 
       {[iw:Variable "?S"] = _:2042379_1. 
        [iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>. 
        [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
      {_:2042379_1 rdf:rest <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl42a1>. 
         {[iw:Variable "?X"] = :J. 
          [iw:Variable "?X"] = :J. 
          [iw:Variable "?X"] = [iw:Variable "?X"]} =>
        {:J = :J}. 
        [iw:Variable "?X"] = :J. 
        [iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>. 
        [iw:Variable "?X"] :inAllOf [iw:Variable "?B"]} =>
      {:J :inAllOf <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
      [iw:Variable "?X"] = :J. 
      [iw:Variable "?B"] = _:2042379_1. 
      [iw:Variable "?X"] :inAllOf [iw:Variable "?B"]} =>
    {:J :inAllOf _:2042379_1}. 
    [iw:Variable "?X"] = :J. 
    [iw:Variable "?L"] = _:8347303_1. 
    [iw:Variable "?X"] :inAllOf [iw:Variable "?L"]} =>
  {:J :inAllOf _:8347303_1}}  =>
{:J a :y}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
   {[iw:Variable "?A"] = :test43. 
    [iw:Variable "?B"] = :test46. 
    [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
  {:test43 rdfs:subClassOf :test46}. 
   {
    <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
     {[iw:Variable "?A"] = :test34. 
      [iw:Variable "?B"] = :test43. 
      [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
    {:test34 rdfs:subClassOf :test43}. 
     {[iw:Variable "?S"] = :test3x. 
      [iw:Variable "?A"] = :test34. 
      [iw:Variable "?S"] a [iw:Variable "?A"]} =>
    {:test3x a :test34}. 
    [iw:Variable "?S"] = :test3x. 
    [iw:Variable "?A"] = :test43. 
    [iw:Variable "?S"] a [iw:Variable "?A"]} =>
  {:test3x a :test43}}  =>
{:test3x a :test46}. 
 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl8s3>. 
     {[iw:Variable "?B"] = _:215989_5. 
      [iw:Variable "?Y"] = _:6248599_5. 
      [iw:Variable "?B"] owl:oneOf [iw:Variable "?Y"]} =>
    {_:215989_5 owl:oneOf _:6248599_5}. 
     {[iw:Variable "?A"] = _:81836_1. 
      [iw:Variable "?X"] = _:8089714_1. 
      [iw:Variable "?A"] owl:oneOf [iw:Variable "?X"]} =>
    {_:81836_1 owl:oneOf _:8089714_1}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
       {[iw:Variable "?S"] = _:8089714_1. 
        [iw:Variable "?A"] = :a. 
        [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
      {_:8089714_1 rdf:first :a}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
         {[iw:Variable "?S"] = _:6248599_5. 
          [iw:Variable "?B"] = _:3236565_5. 
          [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
        {_:6248599_5 rdf:rest _:3236565_5}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[iw:Variable "?S"] = _:3236565_5. 
            [iw:Variable "?B"] = _:5223753_5. 
            [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
          {_:3236565_5 rdf:rest _:5223753_5}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[iw:Variable "?S"] = _:5223753_5. 
              [iw:Variable "?B"] = _:447681_5. 
              [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
            {_:5223753_5 rdf:rest _:447681_5}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[iw:Variable "?S"] = _:447681_5. 
                [iw:Variable "?X"] = :a. 
                [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
              {_:447681_5 rdf:first :a}. 
              [iw:Variable "?B"] = _:447681_5. 
              [iw:Variable "?X"] = :a. 
              [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
            {_:447681_5 :item :a}. 
            [iw:Variable "?B"] = _:5223753_5. 
            [iw:Variable "?X"] = :a. 
            [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
          {_:5223753_5 :item :a}. 
          [iw:Variable "?B"] = _:3236565_5. 
          [iw:Variable "?X"] = :a. 
          [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
        {_:3236565_5 :item :a}. 
        [iw:Variable "?X"] = _:6248599_5. 
        [iw:Variable "?A"] = :a. 
        [iw:Variable "?X"] :item [iw:Variable "?A"]} =>
      {_:6248599_5 :item :a}. 
       {[iw:Variable "?S"] = _:8089714_1. 
        [iw:Variable "?B"] = _:1270312_1. 
        [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
      {_:8089714_1 rdf:rest _:1270312_1}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
         {[iw:Variable "?S"] = _:1270312_1. 
          [iw:Variable "?A"] = :b. 
          [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
        {_:1270312_1 rdf:first :b}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[iw:Variable "?S"] = _:6248599_5. 
            [iw:Variable "?B"] = _:3236565_5. 
            [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
          {_:6248599_5 rdf:rest _:3236565_5}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[iw:Variable "?S"] = _:3236565_5. 
              [iw:Variable "?B"] = _:5223753_5. 
              [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
            {_:3236565_5 rdf:rest _:5223753_5}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[iw:Variable "?S"] = _:5223753_5. 
                [iw:Variable "?X"] = :b. 
                [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
              {_:5223753_5 rdf:first :b}. 
              [iw:Variable "?B"] = _:5223753_5. 
              [iw:Variable "?X"] = :b. 
              [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
            {_:5223753_5 :item :b}. 
            [iw:Variable "?B"] = _:3236565_5. 
            [iw:Variable "?X"] = :b. 
            [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
          {_:3236565_5 :item :b}. 
          [iw:Variable "?X"] = _:6248599_5. 
          [iw:Variable "?A"] = :b. 
          [iw:Variable "?X"] :item [iw:Variable "?A"]} =>
        {_:6248599_5 :item :b}. 
         {[iw:Variable "?S"] = _:1270312_1. 
          [iw:Variable "?B"] = _:1128272_1. 
          [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
        {_:1270312_1 rdf:rest _:1128272_1}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl41i2>. 
           {[iw:Variable "?S"] = _:1128272_1. 
            [iw:Variable "?A"] = :c. 
            [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
          {_:1128272_1 rdf:first :c}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[iw:Variable "?S"] = _:6248599_5. 
              [iw:Variable "?B"] = _:3236565_5. 
              [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
            {_:6248599_5 rdf:rest _:3236565_5}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[iw:Variable "?S"] = _:3236565_5. 
                [iw:Variable "?X"] = :c. 
                [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
              {_:3236565_5 rdf:first :c}. 
              [iw:Variable "?B"] = _:3236565_5. 
              [iw:Variable "?X"] = :c. 
              [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
            {_:3236565_5 :item :c}. 
            [iw:Variable "?X"] = _:6248599_5. 
            [iw:Variable "?A"] = :c. 
            [iw:Variable "?X"] :item [iw:Variable "?A"]} =>
          {_:6248599_5 :item :c}. 
           {[iw:Variable "?S"] = _:1128272_1. 
            [iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>. 
            [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
          {_:1128272_1 rdf:rest <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl41i1>. 
             {[iw:Variable "?X"] = _:6248599_5. 
              [iw:Variable "?X"] = _:6248599_5. 
              [iw:Variable "?X"] = [iw:Variable "?X"]} =>
            {_:6248599_5 = _:6248599_5}. 
            [iw:Variable "?X"] = _:6248599_5. 
            [iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>. 
            [iw:Variable "?X"] :includes [iw:Variable "?B"]} =>
          {_:6248599_5 :includes <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
          [iw:Variable "?X"] = _:6248599_5. 
          [iw:Variable "?B"] = _:1128272_1. 
          [iw:Variable "?X"] :includes [iw:Variable "?B"]} =>
        {_:6248599_5 :includes _:1128272_1}. 
        [iw:Variable "?X"] = _:6248599_5. 
        [iw:Variable "?B"] = _:1270312_1. 
        [iw:Variable "?X"] :includes [iw:Variable "?B"]} =>
      {_:6248599_5 :includes _:1270312_1}. 
      [iw:Variable "?Y"] = _:6248599_5. 
      [iw:Variable "?X"] = _:8089714_1. 
      [iw:Variable "?Y"] :includes [iw:Variable "?X"]} =>
    {_:6248599_5 :includes _:8089714_1}. 
    [iw:Variable "?A"] = _:81836_1. 
    [iw:Variable "?B"] = _:215989_5. 
    [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
  {_:81836_1 rdfs:subClassOf _:215989_5}. 
   {[iw:Variable "?S"] = :X. 
    [iw:Variable "?A"] = _:81836_1. 
    [iw:Variable "?S"] a [iw:Variable "?A"]} =>
  {:X a _:81836_1}. 
  [iw:Variable "_:215989_5"] = _:215989_5. 
  :X a [iw:Variable "_:215989_5"]} =>
{:X a _:215989_5}. 
 {
  <http://www.agfa.com/w3c/euler/owl-rules#owl9i2>. 
   {[iw:Variable "?C"] = _:7993816_5. 
    [iw:Variable "?L"] = _:134618_5. 
    [iw:Variable "?C"] owl:intersectionOf [iw:Variable "?L"]} =>
  {_:7993816_5 owl:intersectionOf _:134618_5}. 
   {
    <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
     {[iw:Variable "?S"] = _:134618_5. 
      [iw:Variable "?A"] = :C. 
      [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
    {_:134618_5 rdf:first :C}. 
     {
      <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
         {[iw:Variable "?A"] = _:4616912_1. 
          [iw:Variable "?X"] = _:1822782_1. 
          [iw:Variable "?A"] owl:intersectionOf [iw:Variable "?X"]} =>
        {_:4616912_1 owl:intersectionOf _:1822782_1}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
           {[iw:Variable "?S"] = _:1822782_1. 
            [iw:Variable "?B"] = _:306121_1. 
            [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
          {_:1822782_1 rdf:rest _:306121_1}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[iw:Variable "?S"] = _:306121_1. 
              [iw:Variable "?B"] = _:2765838_1. 
              [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
            {_:306121_1 rdf:rest _:2765838_1}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[iw:Variable "?S"] = _:2765838_1. 
                [iw:Variable "?X"] = :C. 
                [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
              {_:2765838_1 rdf:first :C}. 
              [iw:Variable "?B"] = _:2765838_1. 
              [iw:Variable "?X"] = :C. 
              [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
            {_:2765838_1 :item :C}. 
            [iw:Variable "?B"] = _:306121_1. 
            [iw:Variable "?X"] = :C. 
            [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
          {_:306121_1 :item :C}. 
          [iw:Variable "?X"] = _:1822782_1. 
          [iw:Variable "?B"] = :C. 
          [iw:Variable "?X"] :item [iw:Variable "?B"]} =>
        {_:1822782_1 :item :C}. 
        [iw:Variable "?A"] = _:4616912_1. 
        [iw:Variable "?B"] = :C. 
        [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
      {_:4616912_1 rdfs:subClassOf :C}. 
       {[iw:Variable "?S"] = :Y. 
        [iw:Variable "?A"] = _:4616912_1. 
        [iw:Variable "?S"] a [iw:Variable "?A"]} =>
      {:Y a _:4616912_1}. 
      [iw:Variable "?X"] = :Y. 
      [iw:Variable "?A"] = :C. 
      [iw:Variable "?X"] a [iw:Variable "?A"]} =>
    {:Y a :C}. 
     {[iw:Variable "?S"] = _:134618_5. 
      [iw:Variable "?B"] = _:5994886_5. 
      [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
    {_:134618_5 rdf:rest _:5994886_5}. 
     {
      <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
       {[iw:Variable "?S"] = _:5994886_5. 
        [iw:Variable "?A"] = :X. 
        [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
      {_:5994886_5 rdf:first :X}. 
       {
        <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
           {[iw:Variable "?A"] = _:4616912_1. 
            [iw:Variable "?X"] = _:1822782_1. 
            [iw:Variable "?A"] owl:intersectionOf [iw:Variable "?X"]} =>
          {_:4616912_1 owl:intersectionOf _:1822782_1}. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl40i2>. 
             {[iw:Variable "?S"] = _:1822782_1. 
              [iw:Variable "?B"] = _:306121_1. 
              [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
            {_:1822782_1 rdf:rest _:306121_1}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[iw:Variable "?S"] = _:306121_1. 
                [iw:Variable "?X"] = :X. 
                [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
              {_:306121_1 rdf:first :X}. 
              [iw:Variable "?B"] = _:306121_1. 
              [iw:Variable "?X"] = :X. 
              [iw:Variable "?B"] :item [iw:Variable "?X"]} =>
            {_:306121_1 :item :X}. 
            [iw:Variable "?X"] = _:1822782_1. 
            [iw:Variable "?B"] = :X. 
            [iw:Variable "?X"] :item [iw:Variable "?B"]} =>
          {_:1822782_1 :item :X}. 
          [iw:Variable "?A"] = _:4616912_1. 
          [iw:Variable "?B"] = :X. 
          [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
        {_:4616912_1 rdfs:subClassOf :X}. 
         {[iw:Variable "?S"] = :Y. 
          [iw:Variable "?A"] = _:4616912_1. 
          [iw:Variable "?S"] a [iw:Variable "?A"]} =>
        {:Y a _:4616912_1}. 
        [iw:Variable "?X"] = :Y. 
        [iw:Variable "?A"] = :X. 
        [iw:Variable "?X"] a [iw:Variable "?A"]} =>
      {:Y a :X}. 
       {[iw:Variable "?S"] = _:5994886_5. 
        [iw:Variable "?B"] = _:491885_5. 
        [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
      {_:5994886_5 rdf:rest _:491885_5}. 
       {
        <http://www.agfa.com/w3c/euler/owl-rules#owl42a2>. 
         {[iw:Variable "?S"] = _:491885_5. 
          [iw:Variable "?A"] = :A. 
          [iw:Variable "?S"] rdf:first [iw:Variable "?A"]} =>
        {_:491885_5 rdf:first :A}. 
         {
          <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
           {
            <http://www.agfa.com/w3c/euler/owl-rules#owl8s4>. 
             {[iw:Variable "?A"] = _:4616912_1. 
              [iw:Variable "?X"] = _:1822782_1. 
              [iw:Variable "?A"] owl:intersectionOf [iw:Variable "?X"]} =>
            {_:4616912_1 owl:intersectionOf _:1822782_1}. 
             {
              <http://www.agfa.com/w3c/euler/owl-rules#owl40i1>. 
               {[iw:Variable "?S"] = _:1822782_1. 
                [iw:Variable "?X"] = :A. 
                [iw:Variable "?S"] rdf:first [iw:Variable "?X"]} =>
              {_:1822782_1 rdf:first :A}. 
              [iw:Variable "?X"] = _:1822782_1. 
              [iw:Variable "?B"] = :A. 
              [iw:Variable "?X"] :item [iw:Variable "?B"]} =>
            {_:1822782_1 :item :A}. 
            [iw:Variable "?A"] = _:4616912_1. 
            [iw:Variable "?B"] = :A. 
            [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
          {_:4616912_1 rdfs:subClassOf :A}. 
           {[iw:Variable "?S"] = :Y. 
            [iw:Variable "?A"] = _:4616912_1. 
            [iw:Variable "?S"] a [iw:Variable "?A"]} =>
          {:Y a _:4616912_1}. 
          [iw:Variable "?X"] = :Y. 
          [iw:Variable "?A"] = :A. 
          [iw:Variable "?X"] a [iw:Variable "?A"]} =>
        {:Y a :A}. 
         {[iw:Variable "?S"] = _:491885_5. 
          [iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>. 
          [iw:Variable "?S"] rdf:rest [iw:Variable "?B"]} =>
        {_:491885_5 rdf:rest <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
         {
          <http://www.agfa.com/w3c/euler/owl-rules#owl42a1>. 
           {[iw:Variable "?X"] = :Y. 
            [iw:Variable "?X"] = :Y. 
            [iw:Variable "?X"] = [iw:Variable "?X"]} =>
          {:Y = :Y}. 
          [iw:Variable "?X"] = :Y. 
          [iw:Variable "?B"] = <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>. 
          [iw:Variable "?X"] :inAllOf [iw:Variable "?B"]} =>
        {:Y :inAllOf <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>}. 
        [iw:Variable "?X"] = :Y. 
        [iw:Variable "?B"] = _:491885_5. 
        [iw:Variable "?X"] :inAllOf [iw:Variable "?B"]} =>
      {:Y :inAllOf _:491885_5}. 
      [iw:Variable "?X"] = :Y. 
      [iw:Variable "?B"] = _:5994886_5. 
      [iw:Variable "?X"] :inAllOf [iw:Variable "?B"]} =>
    {:Y :inAllOf _:5994886_5}. 
    [iw:Variable "?X"] = :Y. 
    [iw:Variable "?L"] = _:134618_5. 
    [iw:Variable "?X"] :inAllOf [iw:Variable "?L"]} =>
  {:Y :inAllOf _:134618_5}. 
  [iw:Variable "_:7993816_5"] = _:7993816_5. 
  :Y a [iw:Variable "_:7993816_5"]} =>
{:Y a _:7993816_5}. 
<http://www.agfa.com/w3c/euler/owl-rules#m> <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/owl-rules#o>.
<http://www.agfa.com/w3c/euler/owl-rules#n> <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/owl-rules#o>.
<http://www.agfa.com/w3c/euler/owl-rules#j> <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/owl-rules#i>.
# Proof found for http://www.agfa.com/w3c/euler/owl-query.n3 in 132007 steps (94831 steps/sec) using 1 engine
}.