The cat chases the dog. The dog visits the tiger. The lion visits the dog. The tiger chases the dog. If something chases the tiger then it needs the lion. If the cat is green and the cat is kind then the cat is round. If something visits the tiger and it is young then the tiger needs the cat. If something chases the lion and the lion needs the tiger then the lion is round. If something visits the tiger and the tiger chases the dog then the tiger is blue. If something visits the dog then it is blue.
The lion does not need the lion.
@0: The cat chases the dog.[(triple1)] The dog visits the tiger.[(triple2)] The lion visits the dog.[(triple3)] The tiger chases the dog.[(triple4)] @1: The lion is blue.[(((triple3) -> rule6))] The tiger is blue.[(((triple2 triple4) -> rule5))]