The bear chases the cow. The bear is blue. The bear is cold. The cow is round. The cow needs the bear. The cow visits the bear. The cow visits the dog. The dog visits the cow. The rabbit is blue. The rabbit needs the bear. The rabbit visits the bear. The rabbit visits the cow. If someone visits the dog then they visit the rabbit. If someone visits the rabbit and the rabbit visits the cow then the rabbit chases the cow.
The rabbit chases the cow.
@0: The bear chases the cow.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The cow is round.[(triple4)] The cow needs the bear.[(triple5)] The cow visits the bear.[(triple6)] The cow visits the dog.[(triple7)] The dog visits the cow.[(triple8)] The rabbit is blue.[(triple9)] The rabbit needs the bear.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the cow.[(triple12)] @1: The cow visits the rabbit.[(((triple7) -> rule1))] @2: The rabbit chases the cow.[(((((triple7) -> rule1) triple12) -> rule2))]