The bear eats the cow. The cow eats the bear. The cow is blue. If something is rough then it visits the bear. If something visits the cow then the cow chases the bear. If something visits the bear then it eats the cow. If the bear is round then the bear visits the cow. If the cow eats the bear then the cow visits the bear. If the cow eats the bear and the cow chases the bear then the cow visits the bear.
The cow is rough.
@0: The bear eats the cow.[(triple1)] The cow eats the bear.[(triple2)] The cow is blue.[(triple3)] @1: The cow visits the bear.[(((triple2) -> rule5))] @2: The cow eats the cow.[(((((triple2) -> rule5)) -> rule3))]