The bald eagle is green. The bear eats the bald eagle. The bear is green. The cow chases the bald eagle. The cow eats the bald eagle. The cow eats the tiger. The cow is cold. The cow is nice. The cow needs the bear. The tiger chases the cow. The tiger is cold. The tiger is red. If the bear eats the bald eagle then the bald eagle chases the tiger. If someone chases the tiger then the tiger needs the cow.
The tiger needs the cow.
@0: The bald eagle is green.[(triple1)] The bear eats the bald eagle.[(triple2)] The bear is green.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow eats the tiger.[(triple6)] The cow is cold.[(triple7)] The cow is nice.[(triple8)] The cow needs the bear.[(triple9)] The tiger chases the cow.[(triple10)] The tiger is cold.[(triple11)] The tiger is red.[(triple12)] @1: The bald eagle chases the tiger.[(((triple2) -> rule1))] @2: The tiger needs the cow.[(((((triple2) -> rule1)) -> rule2))]