Update: Use the new image parsing for the rules
@@ -59,14 +59,14 @@ R2( (M --> P), (M --> S), |-, (M --> (P & S)), Truth_Intersection )
R2( (M --> P), (M --> S), |-, (M --> (P | S)), Truth_Union )
R2( (M --> P), (M --> S), |-, (M --> (P - S)), Truth_Difference )
//NAL4 rules
-R1( ((A * B) --> R), |-, (A --> (R / B)), Truth_StructuralDeduction )
-R1( ((A * B) --> R), |-, (B --> (R % A)), Truth_StructuralDeduction )
-R1( (R --> (A * B)), |-, ((R \\ B) --> A), Truth_StructuralDeduction )
-R1( (R --> (A * B)), |-, ((R # A) --> B), Truth_StructuralDeduction )
-R1( (A --> (R / B)), |-, ((A * B) --> R), Truth_StructuralDeduction )
-R1( (B --> (R % A)), |-, ((A * B) --> R), Truth_StructuralDeduction )
-R1( ((R \\ B) --> A), |-, (R --> (A * B)), Truth_StructuralDeduction )
-R1( ((R # A) --> B), |-, (R --> (A * B)), Truth_StructuralDeduction )
+R1( ((A * B) --> R), |-, (A --> (R /1 B)), Truth_StructuralDeduction )
+R1( ((A * B) --> R), |-, (B --> (R /2 A)), Truth_StructuralDeduction )
+R1( (R --> (A * B)), |-, ((R \\1 B) --> A), Truth_StructuralDeduction )
+R1( (R --> (A * B)), |-, ((R \\2 A) --> B), Truth_StructuralDeduction )
+R1( (A --> (R /1 B)), |-, ((A * B) --> R), Truth_StructuralDeduction )
+R1( (B --> (R /2 A)), |-, ((A * B) --> R), Truth_StructuralDeduction )
+R1( ((R \\1 B) --> A), |-, (R --> (A * B)), Truth_StructuralDeduction )
+R1( ((R \\2 A) --> B), |-, (R --> (A * B)), Truth_StructuralDeduction )
//NAL5 rules:
R2( A, (A ==> B), |-, B, Truth_Deduction )
//other NAL7/8 temporal induction and detachment is handled by MSC links, see Inference.h!
