The bear chases the rabbit. The bear is big. The bear visits the cow. The bear visits the rabbit. The cow chases the bear. The cow chases the rabbit. The cow is red. The cow likes the rabbit. The cow visits the bear. The rabbit is big. The rabbit is rough. The rabbit visits the cow. If someone visits the rabbit then they are green. If someone is red then they chase the cow. If someone is red then they visit the rabbit.
The cow is green.
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear visits the cow.[(triple3)] The bear visits the rabbit.[(triple4)] The cow chases the bear.[(triple5)] The cow chases the rabbit.[(triple6)] The cow is red.[(triple7)] The cow likes the rabbit.[(triple8)] The cow visits the bear.[(triple9)] The rabbit is big.[(triple10)] The rabbit is rough.[(triple11)] The rabbit visits the cow.[(triple12)] @1: The bear is green.[(((triple4) -> rule1))] The cow chases the cow.[(((triple7) -> rule2))] The cow visits the rabbit.[(((triple7) -> rule3))] @2: The cow is green.[(((((triple7) -> rule3)) -> rule1))]