The cow is not young. The lion eats the cow. The lion is blue. The lion is nice. The lion is not young. The lion likes the cow. The lion sees the cow. If someone is rough then they are green. If someone sees the cow then the cow is green.
The cow is rough.
@0: The cow is not young.[(triple1)] The lion eats the cow.[(triple2)] The lion is blue.[(triple3)] The lion is nice.[(triple4)] The lion is not young.[(triple5)] The lion likes the cow.[(triple6)] The lion sees the cow.[(triple7)] @1: The cow is green.[(((triple7) -> rule2))]