#Processed by Id
        #    using base file:///home/jdroo/github.com/eyereasoner/eye/reasoning/pythagorean-theorem/
             @prefix : <http://example.org/pyth#> .
    
    :T1     :answer  [
             a :Hypotenuse;
             :value 5.0 ];
         :check  [
             a :Check;
             :kind "plug-in/hypotenuse";
             :ok true;
             :residual 0.0 ];
         :status "solve-c";
         :why  [
             :a2 9;
             :b2 16;
             :sumSquares 25 ] .
    
    :T2     :answer  [
             a :Hypotenuse;
             :value 13.0 ];
         :check  [
             a :Check;
             :kind "plug-in/hypotenuse";
             :ok true;
             :residual 0.0 ];
         :status "solve-c";
         :why  [
             :a2 25;
             :b2 144;
             :sumSquares 169 ] .
    
    :T3     :answer  [
             a :Hypotenuse;
             :value 17.0 ];
         :check  [
             a :Check;
             :kind "plug-in/hypotenuse";
             :ok true;
             :residual 0.0 ];
         :status "solve-c";
         :why  [
             :a2 64;
             :b2 225;
             :sumSquares 289 ] .
    
    :T4     :answer  [
             a :Leg;
             :value 12.0;
             :which "b" ];
         :check  [
             a :Check;
             :kind "plug-in/leg-b";
             :ok true;
             :residual 0.0 ];
         :status "solve-b";
         :why  [
             :a2 25;
             :c2 169;
             :diffSquares 144 ] .
    
    :T5     :answer  [
             a :Leg;
             :value 8.0;
             :which "a" ];
         :check  [
             a :Check;
             :kind "plug-in/leg-a";
             :ok true;
             :residual 0.0 ];
         :status "solve-a";
         :why  [
             :b2 36;
             :c2 100;
             :diffSquares 64 ] .
    
    :T6     :answer  [
             a :Hypotenuse;
             :value 6.5 ];
         :check  [
             a :Check;
             :kind "plug-in/hypotenuse";
             :ok true;
             :residual 0.0 ];
         :status "solve-c";
         :why  [
             :a2 6.25;
             :b2 36;
             :sumSquares 42.25 ] .
    
