The bear chases the cat. The cat is green. The cat visits the dog. The cat visits the rabbit. The dog eats the rabbit. The dog is big. The rabbit eats the bear. If someone eats the bear and the bear visits the rabbit then the rabbit eats the cat. If someone visits the cat and they chase the dog then the dog chases the bear. If the rabbit chases the bear then the bear chases the dog. If someone visits the rabbit and they visit the dog then the rabbit chases the bear. If the dog eats the rabbit then the rabbit chases the bear. If someone eats the cat and the cat chases the dog then the dog eats the bear. If someone is round and they eat the rabbit then they chase the rabbit. If someone is big and they chase the cat then the cat chases the bear.
The cat is green.
@0: The bear chases the cat.[(triple1)] The cat is green.[(triple2)] The cat visits the dog.[(triple3)] The cat visits the rabbit.[(triple4)] The dog eats the rabbit.[(triple5)] The dog is big.[(triple6)] The rabbit eats the bear.[(triple7)] @1: The rabbit chases the bear.[(((triple5) -> rule5) OR ((triple4 triple3) -> rule4))] @2: The bear chases the dog.[(((((triple5) -> rule5)) -> rule3) OR ((((triple4 triple3) -> rule4)) -> rule3))]