The bear likes the cow. The cow is blue. The cow is nice. If the cow eats the bear then the cow chases the bear. If something chases the bear and it chases the cow then the bear is blue. All red things are young. If the cow is nice then the cow eats the bear. If the cow chases the bear and the cow is young then the cow likes the bear. If something chases the bear then it eats the cow.
The bear does not chase the cow.
@0: The bear likes the cow.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple3)] @1: The cow eats the bear.[(((triple3) -> rule4))] @2: The cow chases the bear.[(((((triple3) -> rule4)) -> rule1))] @3: The cow eats the cow.[(((((((triple3) -> rule4)) -> rule1)) -> rule6))]