The bald eagle is cold. The bald eagle is rough. The bear chases the bald eagle. The bear eats the tiger. The mouse chases the bald eagle. The mouse needs the bear. The tiger chases the bald eagle. If someone eats the tiger then the tiger chases the bear.
The tiger chases the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is rough.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear eats the tiger.[(triple4)] The mouse chases the bald eagle.[(triple5)] The mouse needs the bear.[(triple6)] The tiger chases the bald eagle.[(triple7)] @1: The tiger chases the bear.[(((triple4) -> rule1))]