The cat likes the cow. The cat needs the tiger. The cow is blue. The cow is kind. The cow sees the tiger. The lion likes the cat. The tiger likes the cat. If something sees the tiger then it needs the tiger. If something needs the lion then the lion is rough.
The lion is rough.
@0: The cat likes the cow.[(triple1)] The cat needs the tiger.[(triple2)] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow sees the tiger.[(triple5)] The lion likes the cat.[(triple6)] The tiger likes the cat.[(triple7)] @1: The cow needs the tiger.[(((triple5) -> rule1))]