The bald eagle is nice. The bald eagle likes the bear. The bald eagle visits the lion. The bear is big. The bear needs the lion. The lion is big. The lion likes the bald eagle. The lion likes the bear. The lion needs the bear. The lion visits the bald eagle. If the lion needs the bald eagle then the bald eagle is red. If someone visits the lion then they do not like the bald eagle.
The bear likes the lion.
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle visits the lion.[(triple3)] The bear is big.[(triple4)] The bear needs the lion.[(triple5)] The lion is big.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion likes the bear.[(triple8)] The lion needs the bear.[(triple9)] The lion visits the bald eagle.[(triple10)] @1: The bald eagle does not like the bald eagle.[(((triple3) -> rule2))]