The cow is blue. The dog sees the cow. The rabbit likes the dog. If someone eats the rabbit then they eat the dog. If someone eats the cow then they eat the dog. If someone likes the dog and the dog eats the cow then the cow is big. If the cow is young then the cow is blue. If someone likes the cow and the cow sees the rabbit then the cow sees the dog. If someone sees the cow then the cow is big.
The rabbit likes the dog.
@0: The cow is blue.[(triple1)] The dog sees the cow.[(triple2)] The rabbit likes the dog.[(triple3)] @1: The cow is big.[(((triple2) -> rule6))]