The cat does not chase the mouse. The mouse likes the cat. The mouse visits the cat. If the mouse visits the cat and the cat does not chase the mouse then the cat likes the mouse. If something visits the cat and it is not rough then the cat likes the mouse. If something chases the mouse then the mouse does not visit the cat.
The cat is big.
@0: The cat does not chase the mouse.[(triple1)] The mouse likes the cat.[(triple2)] The mouse visits the cat.[(triple3)] @1: The cat likes the mouse.[(((triple3 triple1) -> rule1))]