The bald eagle sees the bear. The bald eagle sees the rabbit. The bald eagle does not visit the cat. The bear is not red. The bear is not young. The bear likes the rabbit. The cat is nice. The cat likes the bald eagle. The cat sees the bald eagle. The rabbit is cold. The rabbit is not green. The rabbit is not nice. The rabbit likes the bald eagle. The rabbit does not like the cat. The rabbit sees the bald eagle. The rabbit visits the cat. If someone sees the rabbit then they are not young. If someone visits the bear and the bear does not like the bald eagle then the bald eagle likes the rabbit.
The rabbit likes the bald eagle.
@0: The bald eagle does not visit the cat.[(triple3)] The bald eagle sees the bear.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bear is not red.[(triple4)] The bear is not young.[(triple5)] The bear likes the rabbit.[(triple6)] The cat is nice.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat sees the bald eagle.[(triple9)] The rabbit does not like the cat.[(triple14)] The rabbit is cold.[(triple10)] The rabbit is not green.[(triple11)] The rabbit is not nice.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit sees the bald eagle.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The bald eagle is not young.[(((triple2) -> rule1))]