The bald eagle sees the bear. The bald eagle sees the rabbit. The bear is nice. The bear likes the bald eagle. The bear needs the bald eagle. The bear sees the bald eagle. The rabbit likes the bald eagle. The rabbit likes the bear. The tiger is blue. The tiger likes the bald eagle. The tiger needs the bear. The tiger sees the bear. If the rabbit likes the bald eagle then the bald eagle likes the bear. If something sees the tiger and it needs the bear then the bear is nice. If something likes the tiger then it needs the rabbit.
The tiger does not see the bear.
@0: The bald eagle sees the bear.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bear is nice.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear sees the bald eagle.[(triple6)] The rabbit likes the bald eagle.[(triple7)] The rabbit likes the bear.[(triple8)] The tiger is blue.[(triple9)] The tiger likes the bald eagle.[(triple10)] The tiger needs the bear.[(triple11)] The tiger sees the bear.[(triple12)] @1: The bald eagle likes the bear.[(((triple7) -> rule1))]