The bear is green. The cat chases the dog. The dog chases the cat. If someone is green and they need the bear then they chase the bear. If someone is big and they need the bear then they need the dog. If someone is round then they need the cat. If someone is green then they see the cat. If someone sees the cat and the cat needs the dog then the cat needs the bear. If someone sees the cat and the cat chases the dog then the dog sees the cat.
The dog sees the cat.
@0: The bear is green.[(triple1)] The cat chases the dog.[(triple2)] The dog chases the cat.[(triple3)] @1: The bear sees the cat.[(((triple1) -> rule4))] @2: The dog sees the cat.[(((((triple1) -> rule4) triple2) -> rule6))]