The cow chases the rabbit. The rabbit is big. If someone chases the cow then the cow chases the rabbit. If someone chases the rabbit then they are big.
The rabbit is big.
@0: The cow chases the rabbit.[(triple1)] The rabbit is big.[(triple2)] @1: The cow is big.[(((triple1) -> rule2))]