The bear eats the dog. The cat is not round. The dog sees the cat. If someone is green and they eat the bear then they are nice. If someone is green then they eat the cat. If someone sees the cat then they chase the dog. If someone chases the cat and they do not eat the dog then the cat chases the dog. If someone sees the cat and they are round then they eat the bear. If someone eats the cat and they do not chase the dog then the cat is big.
The dog chases the dog.
@0: The bear eats the dog.[(triple1)] The cat is not round.[(triple2)] The dog sees the cat.[(triple3)] @1: The dog chases the dog.[(((triple3) -> rule3))]