[()]
[()]
[()]
[()]
[()]
[()]
[(Error (assertEqualToResult (|- ((A --> cat) (1.0 0.9)) ((B --> cat) (1.0 0.9))) (((B --> A) (1.0 0.44751381215469616)) (((A ~ B) --> cat) (0.0 0.81)) (((A | B) --> cat) (1.0 0.81)) ((B <-> A) (1.0 0.44751381215469616)) (((A & B) --> cat) (1.0 0.81)))) 
Expected: [((B --> A) (1.0 0.44751381215469616)), (((A ~ B) --> cat) (0.0 0.81)), (((A | B) --> cat) (1.0 0.81)), ((B <-> A) (1.0 0.44751381215469616)), (((A & B) --> cat) (1.0 0.81))]
Got: [((B --> A) (1.0 0.44751381215469616)), (((A ~ B) --> cat) (0.0 0.81)), ((B <-> A) (1.0 0.44751381215469616)), ((B <-> A) (1.0 0.44751381215469616)), (((A | B) --> cat) (1.0 0.81)), (((A & B) --> cat) (1.0 0.81))]
Excessive result: ((B <-> A) (1.0 0.44751381215469616)))]
8.52user 0.01system 0:08.54elapsed 99%CPU (0avgtext+0avgdata 40972maxresident)k
0inputs+0outputs (0major+5371minor)pagefaults 0swaps