The cow chases the lion. The cow chases the tiger. The cow is kind. The cow is rough. The lion is big. The lion needs the tiger. The tiger chases the cow. The tiger chases the lion. The tiger likes the cow. The tiger does not need the cow. All young things are kind. If something is kind then it likes the tiger. If the lion likes the tiger and the lion does not need the tiger then the tiger is green.
The cow is big.
@0: The cow chases the lion.[(triple1)] The cow chases the tiger.[(triple2)] The cow is kind.[(triple3)] The cow is rough.[(triple4)] The lion is big.[(triple5)] The lion needs the tiger.[(triple6)] The tiger chases the cow.[(triple7)] The tiger chases the lion.[(triple8)] The tiger does not need the cow.[(triple10)] The tiger likes the cow.[(triple9)] @1: The cow likes the tiger.[(((triple3) -> rule2))]