[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[(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)), ((B <-> A) (1.0 0.44751381215469616)), (((A & B) --> cat) (1.0 0.81)), (((A ~ B) --> cat) (0.0 0.81)), (((A | B) --> cat) (1.0 0.81)), ((B --> A) (1.0 0.44751381215469616))]
Excessive result: ((B <-> A) (1.0 0.44751381215469616)))]
0.57user 0.01system 0:00.58elapsed 100%CPU (0avgtext+0avgdata 36364maxresident)k
0inputs+0outputs (0major+4277minor)pagefaults 0swaps