The bear chases the dog. The bear is rough. The bear likes the dog. The cow chases the bear. The cow does not like the dog. The dog likes the bear. The dog does not visit the bear. If someone likes the cow and they chase the bear then the bear is not cold. If the dog chases the cow then the dog chases the bear. If someone visits the cow then the cow does not chase the bear. If someone likes the bear then they chase the cow. If someone is young then they do not visit the cow. If someone likes the dog then the dog likes the cow.
The bear chases the dog.
@0: The bear chases the dog.[(triple1)] The bear is rough.[(triple2)] The bear likes the dog.[(triple3)] The cow chases the bear.[(triple4)] The cow does not like the dog.[(triple5)] The dog does not visit the bear.[(triple7)] The dog likes the bear.[(triple6)] @1: The dog chases the cow.[(((triple6) -> rule4))] The dog likes the cow.[(((triple3) -> rule6))] @2: The dog chases the bear.[(((((triple6) -> rule4)) -> rule2))] @3: The bear is not cold.[(((((triple3) -> rule6) ((((triple6) -> rule4)) -> rule2)) -> rule1))]