The cat eats the lion. The cat eats the mouse. The cat is big. The dog is green. The dog is nice. The dog likes the mouse. The lion is nice. The lion likes the dog. The mouse eats the dog. The mouse is nice. If something likes the mouse and it visits the cat then the cat eats the mouse. If something eats the lion then it likes the cat. If something likes the dog then it visits the dog. If something is rough then it eats the dog. If something likes the cat then it likes the dog. If the lion likes the mouse then the mouse visits the cat.
The mouse visits the cat.
@0: The cat eats the lion.[(triple1)] The cat eats the mouse.[(triple2)] The cat is big.[(triple3)] The dog is green.[(triple4)] The dog is nice.[(triple5)] The dog likes the mouse.[(triple6)] The lion is nice.[(triple7)] The lion likes the dog.[(triple8)] The mouse eats the dog.[(triple9)] The mouse is nice.[(triple10)] @1: The cat likes the cat.[(((triple1) -> rule2))] The lion visits the dog.[(((triple8) -> rule3))] @2: The cat likes the dog.[(((((triple1) -> rule2)) -> rule5))] @3: The cat visits the dog.[(((((((triple1) -> rule2)) -> rule5)) -> rule3))]