The bald eagle eats the bear. The bald eagle likes the bear. The bald eagle visits the rabbit. The bear eats the bald eagle. The bear does not like the bald eagle. The rabbit eats the bear. The rabbit is young. The rabbit does not like the bear. The rabbit visits the bald eagle. The rabbit visits the bear. If someone visits the rabbit then the rabbit visits the bear.
The rabbit is not young.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The bear does not like the bald eagle.[(triple5)] The bear eats the bald eagle.[(triple4)] The rabbit does not like the bear.[(triple8)] The rabbit eats the bear.[(triple6)] The rabbit is young.[(triple7)] The rabbit visits the bald eagle.[(triple9)] The rabbit visits the bear.[(triple10 OR ((triple3) -> rule1))]