[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[(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)), ((B <-> A) (1.0 0.44751381215469616))]
Missed result: (((A ~ B) --> cat) (0.0 0.81)))]
0.69user 0.01system 0:00.71elapsed 99%CPU (0avgtext+0avgdata 36692maxresident)k
0inputs+0outputs (0major+4358minor)pagefaults 0swaps