The cow chases the tiger. The dog needs the cow. The tiger is green. If the cow is big and the cow does not chase the tiger then the cow needs the tiger. If something is rough then it likes the cow. If something is green then it needs the dog. If something needs the dog then the dog is green. If something needs the cow and it does not need the tiger then the tiger is round. If something is round and it does not need the dog then the dog chases the tiger.
The tiger is not rough.
@0: The cow chases the tiger.[(triple1)] The dog needs the cow.[(triple2)] The tiger is green.[(triple3)] @1: The tiger needs the dog.[(((triple3) -> rule3))] @2: The dog is green.[(((((triple3) -> rule3)) -> rule4))] @3: The dog needs the dog.[(((((((triple3) -> rule3)) -> rule4)) -> rule3))]