The cat needs the tiger. The cow needs the tiger. The dog is big. The tiger likes the cow. If the dog visits the cat then the dog is young. If something needs the tiger then it is nice. If something visits the cow then the cow visits the cat. If something visits the cat then the cat needs the dog. If something visits the dog and it is green then it needs the cow. If something visits the tiger and the tiger likes the cow then the tiger needs the dog. If the cow is green then the cow is rough. If something visits the cow and the cow is nice then it is rough.
The cat visits the cat.
@0: The cat needs the tiger.[(triple1)] The cow needs the tiger.[(triple2)] The dog is big.[(triple3)] The tiger likes the cow.[(triple4)] @1: The cat is nice.[(((triple1) -> rule2))] The cow is nice.[(((triple2) -> rule2))]