The bald eagle eats the rabbit. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the bear. The bald eagle likes the tiger. The bald eagle sees the bear. The bear eats the tiger. The bear is rough. The bear likes the rabbit. The rabbit eats the bald eagle. The tiger sees the bald eagle. The tiger sees the bear. If someone eats the tiger and they see the bald eagle then they see the rabbit. If someone is red then they see the bear. If someone eats the bear and the bear is rough then the bear is young. If someone is red and they see the tiger then the tiger likes the bald eagle. If the rabbit sees the bear then the bear sees the bald eagle. If the rabbit eats the bald eagle then the rabbit sees the bear.
The bear sees the rabbit.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle likes the tiger.[(triple5)] The bald eagle sees the bear.[(triple6)] The bear eats the tiger.[(triple7)] The bear is rough.[(triple8)] The bear likes the rabbit.[(triple9)] The rabbit eats the bald eagle.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger sees the bear.[(triple12)] @1: The rabbit sees the bear.[(((triple10) -> rule6))] @2: The bear sees the bald eagle.[(((((triple10) -> rule6)) -> rule5))] @3: The bear sees the rabbit.[(((triple7 ((((triple10) -> rule6)) -> rule5)) -> rule1))]