The cow is young. The lion eats the cow. If someone eats the cow then the cow is blue. If someone chases the cow then they chase the lion. If the cow is blue then the cow chases the lion. If someone needs the cow and they eat the lion then they are blue. If someone chases the lion then they need the lion. If someone eats the lion then the lion needs the cow.
The lion needs the cow.
@0: The cow is young.[(triple1)] The lion eats the cow.[(triple2)] @1: The cow is blue.[(((triple2) -> rule1))] @2: The cow chases the lion.[(((((triple2) -> rule1)) -> rule3))] @3: The cow needs the lion.[(((((((triple2) -> rule1)) -> rule3)) -> rule5))]