The bear is big. The cow chases the bear. The cow is young. If someone is young then they chase the cow. If someone chases the cow and they do not visit the bear then the cow chases the bear. If the cow visits the bear and the bear is blue then the cow eats the bear. If someone is young and not green then they visit the cow. If someone is green and they chase the cow then they do not eat the cow. If someone visits the bear and they chase the cow then they chase the bear. If the cow eats the bear then the bear eats the cow. If someone visits the cow then they are big.
The bear does not visit the cow.
@0: The bear is big.[(triple1)] The cow chases the bear.[(triple2)] The cow is young.[(triple3)] @1: The cow chases the cow.[(((triple3) -> rule1))]