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