The bald eagle is blue. The bald eagle is nice. The bald eagle is round. The bald eagle likes the bear. The bald eagle sees the lion. The bear is nice. The bear likes the lion. The bear visits the lion. The lion sees the tiger. The lion visits the bald eagle. The tiger likes the bald eagle. The tiger sees the bald eagle. If someone is rough then they visit the bald eagle. If someone likes the lion then the lion likes the bear.
The bald eagle is not round.
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle sees the lion.[(triple5)] The bear is nice.[(triple6)] The bear likes the lion.[(triple7)] The bear visits the lion.[(triple8)] The lion sees the tiger.[(triple9)] The lion visits the bald eagle.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The lion likes the bear.[(((triple7) -> rule2))]