The dog likes the lion. The lion eats the mouse. The mouse likes the dog. If something eats the lion then the lion likes the dog. If the lion visits the mouse and the lion eats the mouse then the lion is kind. If something likes the lion then it is kind. If something likes the lion then the lion is nice. If something visits the dog then it visits the mouse. If something likes the mouse then it does not like the dog. If something likes the dog and the dog is kind then the dog is not big. If the dog is kind and the dog is not big then the dog visits the lion.
The mouse does not like the lion.
@0: The dog likes the lion.[(triple1)] The lion eats the mouse.[(triple2)] The mouse likes the dog.[(triple3)] @1: The dog is kind.[(((triple1) -> rule3))] The lion is nice.[(((triple1) -> rule4))] @2: The dog is not big.[(((triple3 ((triple1) -> rule3)) -> rule7))] @3: The dog visits the lion.[(((((triple1) -> rule3) ((triple3 ((triple1) -> rule3)) -> rule7)) -> rule8))]