The cat is young. The cow chases the cat. The cow is blue. The cow is cold. The cow is nice. The cow is rough. The cow visits the cat. If someone chases the cat then the cat eats the cow.
The cat does not eat the cow.
@0: The cat is young.[(triple1)] The cow chases the cat.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The cow visits the cat.[(triple7)] @1: The cat eats the cow.[(((triple2) -> rule1))]