The cat likes the rabbit. The rabbit is rough. The tiger is round. If the cat likes the rabbit then the cat sees the rabbit.
The rabbit does not visit the cat.
@0: The cat likes the rabbit.[(triple1)] The rabbit is rough.[(triple2)] The tiger is round.[(triple3)] @1: The cat sees the rabbit.[(((triple1) -> rule1))]