The bald eagle eats the bear. The bald eagle eats the lion. The bald eagle is kind. The bald eagle likes the bear. The bald eagle visits the bear. The bald eagle visits the lion. The bear eats the bald eagle. The bear is kind. The bear is nice. The lion eats the bald eagle. The lion is blue. The lion is kind. The lion likes the bald eagle. The lion likes the bear. The lion visits the bear. If the lion is big then the lion eats the bald eagle. If someone visits the bear then the bear likes the lion.
The lion does not like the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the lion.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear is kind.[(triple8)] The bear is nice.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion is blue.[(triple11)] The lion is kind.[(triple12)] The lion likes the bald eagle.[(triple13)] The lion likes the bear.[(triple14)] The lion visits the bear.[(triple15)] @1: The bear likes the lion.[(((triple15) -> rule2) OR ((triple5) -> rule2))]