The cat is big. The rabbit chases the cat. The rabbit is cold. If something is big then it sees the rabbit.
The rabbit does not see the rabbit.
@0: The cat is big.[(triple1)] The rabbit chases the cat.[(triple2)] The rabbit is cold.[(triple3)] @1: The cat sees the rabbit.[(((triple1) -> rule1))]