The cat likes the mouse. The cat needs the mouse. The mouse needs the cat. If someone likes the cat then the cat visits the mouse. If the cat likes the mouse then the cat visits the mouse. If someone needs the cat then the cat is not red.
The cat does not like the mouse.
@0: The cat likes the mouse.[(triple1)] The cat needs the mouse.[(triple2)] The mouse needs the cat.[(triple3)] @1: The cat is not red.[(((triple3) -> rule3))] The cat visits the mouse.[(((triple1) -> rule2))]