<?xml version="1.0" encoding="UTF-8"?>
<rulebase>
   <imp>
      <_head>
         <atom>
            <_opr>
               <rel>grandfather</rel>
            </_opr>
            <var>x</var>
            <var>z</var>
         </atom>
      </_head>
      <_body>
         <and>
            <atom>
               <_opr>
                  <rel>father</rel>
               </_opr>
               <var>y</var>
               <var>z</var>
            </atom>
            <atom>
               <_opr>
                  <rel>father</rel>
               </_opr>
               <var>x</var>
               <var>y</var>
            </atom>
         </and>
      </_body>
   </imp>
   <imp>
      <_head>
         <atom>
            <_opr>
               <rel>oncle</rel>
            </_opr>
            <var>x</var>
            <var>z</var>
         </atom>
      </_head>
      <_body>
         <and>
            <atom>
               <_opr>
                  <rel>father</rel>
               </_opr>
               <var>y</var>
               <var>z</var>
            </atom>
            <atom>
               <_opr>
                  <rel>brother</rel>
               </_opr>
               <var>x</var>
               <var>y</var>
            </atom>
         </and>
      </_body>
   </imp>
   <imp>
      <_head>
         <atom>
            <_opr>
               <rel>oncle</rel>
            </_opr>
            <var>x</var>
            <var>z</var>
         </atom>
      </_head>
      <_body>
         <and>
            <atom>
               <_opr>
                  <rel>grandfather</rel>
               </_opr>
               <var>y</var>
               <var>z</var>
            </atom>
            <atom>
               <_opr>
                  <rel>brother</rel>
               </_opr>
               <var>x</var>
               <var>y</var>
            </atom>
         </and>
      </_body>
   </imp>
   <fact>
      <_head>
         <atom>
            <_opr>
               <rel>father</rel>
            </_opr>
            <ind>Jens</ind>
            <ind>Max</ind>
         </atom>
      </_head>
   </fact>
   <fact>
      <_head>
         <atom>
            <_opr>
               <rel>father</rel>
            </_opr>
            <ind>Klaus</ind>
            <ind>Jens</ind>
         </atom>
      </_head>
   </fact>
   <fact>
      <_head>
         <atom>
            <_opr>
               <rel>brother</rel>
            </_opr>
            <ind>Lutz</ind>
            <ind>Klaus</ind>
         </atom>
      </_head>
   </fact>
</rulebase>
