Update: Difference support, and removal of the rule variations which apply to extension of extset or intension of intset
@@ -44,14 +44,12 @@ R( (P --> M), (S --> M), |-, ((S ~ P) --> M), Truth_Difference )
R( (M --> P), (M --> S), |-, (M --> (P & S)), Truth_Intersection )
R( (M --> P), (M --> S), |-, (M --> (P | S)), Truth_Union )
R( (M --> P), (M --> S), |-, (M --> (P - S)), Truth_Difference )
-R( (C --> {A}), (C --> {B}), |-, (C --> {A,B}), Truth_Union )
R( (C --> [A]), (C --> [B]), |-, (C --> [A,B]), Truth_Intersection )
-R( ({A} --> C), ({B} --> C), |-, (C --> {A,B}), Truth_Intersection )
-R( ([A] --> C), ([B] --> C), |-, (C --> [A,B]), Truth_Union )
-R( (C --> {A,B}), (C --> {B}), |-, (C --> {B}), Truth_Intersection )
+R( ({A} --> C), ({B} --> C), |-, ({A,B} --> C), Truth_Intersection )
R( (C --> [A,B]), (C --> [B]), |-, (C --> [B]), Truth_Union )
-R( ({A,B} --> C), ({B} --> C), |-, (C --> {B}), Truth_Union )
-R( ([A,B] --> C), ([B] --> C), |-, (C --> [B]), Truth_Intersection )
+R( ({A,B} --> C), ({B} --> C), |-, ({B} --> C), Truth_Union )
+R( ({A,B} --> C), ({B} --> C), |-, ({A} --> C), Truth_Difference )
+R( (C --> [A,B]), (C --> [B]), |-, (C --> [A]), Truth_Difference )
R( (A --> [B,C]), X, |-, (A --> [C,B]), Truth_Identity )
R( ({A,B} --> C), X, |-, ({B,A} --> C), Truth_Identity )
//NAL4 rules
