The cat likes the mouse. The mouse does not like the cat. The mouse visits the cat. If someone visits the cat then the cat eats the mouse.
The cat is not round.
@0: The cat likes the mouse.[(triple1)] The mouse does not like the cat.[(triple2)] The mouse visits the cat.[(triple3)] @1: The cat eats the mouse.[(((triple3) -> rule1))]