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 cat sees the rabbit.
@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))]