#Processed by Id
        #    using base file:///home/jdroo/github.com/eyereasoner/eye/reasoning/law-of-cosines/
             @prefix : <http://example.org/cosine#> .
    
    :T1     :answer  [
             a :Side;
             :value 5.0;
             :which "c" ];
         :check  [
             a :Check;
             :kind "plug-in/c";
             :ok true;
             :residual 0.0 ];
         :status "solve-c";
         :why  [
             :a2 9;
             :b2 16;
             :cosAngle 6.12323399574e-17;
             :rhs 25.0 ] .
    
    :T2     :answer  [
             a :Side;
             :value 6.244997998398397;
             :which "c" ];
         :check  [
             a :Check;
             :kind "plug-in/c";
             :ok true;
             :residual 0.0 ];
         :status "solve-c";
         :why  [
             :a2 25;
             :b2 49;
             :cosAngle 0.5000000000000001;
             :rhs 38.99999999999999 ] .
    
    :T3     :answer  [
             a :Side;
             :value 5.5677643628300215;
             :which "a" ];
         :check  [
             a :Check;
             :kind "plug-in/a";
             :ok true;
             :residual 3.5527136788e-15 ];
         :status "solve-a";
         :why  [
             :b2 25;
             :c2 36;
             :cosAngle 0.5000000000000001;
             :rhs 30.999999999999993 ] .
    
    :T4     :answer  [
             a :Side;
             :value 1.6148359528406395;
             :which "b" ];
         :check  [
             a :Check;
             :kind "plug-in/b";
             :ok true;
             :residual 0.0 ];
         :status "solve-b";
         :why  [
             :a2 4;
             :c2 9;
             :cosAngle 0.8660254037844387;
             :rhs 2.607695154586736 ] .
    
    :T5     :answer  [
             a :Side;
             :value 15.062650137854062;
             :which "c" ];
         :check  [
             a :Check;
             :kind "plug-in/c";
             :ok true;
             :residual 0.0 ];
         :status "solve-c";
         :why  [
             :a2 64;
             :b2 225;
             :cosAngle 0.25881904510252074;
             :rhs 226.883429175395 ] .
    
    :T6     :answer  [
             a :Side;
             :value 13.0;
             :which "a" ];
         :check  [
             a :Check;
             :kind "plug-in/a";
             :ok true;
             :residual 0.0 ];
         :status "solve-a";
         :why  [
             :b2 25;
             :c2 144;
             :cosAngle 6.12323399574e-17;
             :rhs 169.0 ] .
    
