[(), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[((Garfield --> animal) (1.0 0.81)), ((animal --> Garfield) (1.0 0.44751381215469616))]
[((Garfield --> cat) (1.0 0.44751381215469616))]
[((({ b }) --> mwawa) (1.0 0.81)), ((({ a }) --> mwawa) (1.0 0.81))]
[((b --> (R /2 a)) (1.0 0.81)), ((a --> (R /1 b)) (1.0 0.81))]
[(((R \2 a) --> b) (1.0 0.81)), (((R \1 b) --> a) (1.0 0.81))]
[((B --> A) (1.0 0.44751381215469616)), (((A ~ B) --> cat) (0.0 0.81)), (((A | B) --> cat) (1.0 0.81)), (((A & B) --> cat) (1.0 0.81)), ((B <-> A) (1.0 0.44751381215469616)), ((B <-> A) (1.0 0.44751381215469616))]
[((Garfield --> being) (1.0 0.7290000000000001)), ((being --> Garfield) (1.0 0.42163100057836905)), ((animal --> (Garfield - being)) (0.0 0.40276243093922653)), ((being --> Garfield) (1.0 0.28712091374556914)), ((being <-> Garfield) (1.0 0.28712091374556914)), ((being <-> Garfield) (1.0 0.28712091374556914)), ((animal --> (Garfield & being)) (1.0 0.40276243093922653)), ((animal --> (Garfield | being)) (1.0 0.40276243093922653))]
18.66user 0.34system 0:19.01elapsed 99%CPU (0avgtext+0avgdata 63012maxresident)k
0inputs+0outputs (0major+10950minor)pagefaults 0swaps