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 does not see 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))]