The cat eats the cow. The cat is kind. The cow does not chase the rabbit. The cow is big. The cow needs the rabbit. The rabbit needs the cat. The rabbit needs the cow. If someone eats the cow then they eat the cat. If someone needs the rabbit then the rabbit does not eat the cat. If the cat is kind then the cat is big. If someone eats the cow and they are young then they are round. If someone chases the cat and the cat does not eat the cow then the cat does not need the cow. If the cat eats the cow then the cow does not chase the cat.
The cat chases the cow.
@0: The cat eats the cow.[(triple1)] The cat is kind.[(triple2)] The cow does not chase the rabbit.[(triple3)] The cow is big.[(triple4)] The cow needs the rabbit.[(triple5)] The rabbit needs the cat.[(triple6)] The rabbit needs the cow.[(triple7)] @1: The cat eats the cat.[(((triple1) -> rule1))] The cat is big.[(((triple2) -> rule3))] The cow does not chase the cat.[(((triple1) -> rule6))] The rabbit does not eat the cat.[(((triple5) -> rule2))]