The cat eats the mouse. The cow is cold. The mouse needs the cat. The rabbit is rough. If someone needs the cat then the cat likes the mouse.
The cow is not cold.
@0: The cat eats the mouse.[(triple1)] The cow is cold.[(triple2)] The mouse needs the cat.[(triple3)] The rabbit is rough.[(triple4)] @1: The cat likes the mouse.[(((triple3) -> rule1))]