The bald eagle is big. The bald eagle is rough. The bald eagle visits the bear. The bear eats the bald eagle. The tiger eats the bear. The tiger is big. The tiger is rough. If someone eats the tiger and they are nice then they visit the tiger. If the bear eats the tiger and the bear likes the bald eagle then the bald eagle is rough. If someone eats the bear then they like the bear.
The bear does not like the bear.
@0: The bald eagle is big.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear eats the bald eagle.[(triple4)] The tiger eats the bear.[(triple5)] The tiger is big.[(triple6)] The tiger is rough.[(triple7)] @1: The tiger likes the bear.[(((triple5) -> rule3))]