The cat is green. The dog sees the cat. The tiger needs the dog. All nice things are blue. If something eats the cat then it needs the cat. If something eats the dog then it needs the tiger. If something is young then it needs the tiger. If something needs the dog then the dog needs the cat. If something is young and it needs the cat then the cat sees the dog. If something is red then it needs the tiger. If something eats the cat and the cat sees the dog then the cat needs the tiger.
The dog sees the cat.
@0: The cat is green.[(triple1)] The dog sees the cat.[(triple2)] The tiger needs the dog.[(triple3)] @1: The dog needs the cat.[(((triple3) -> rule5))]