The bald eagle is big. The bald eagle is kind. The bald eagle visits the bear. The bald eagle visits the cow. The bear likes the bald eagle. The bear needs the bald eagle. The cat is cold. The cat likes the bald eagle. The cat likes the bear. The cat needs the cow. The cat visits the bear. The cat visits the cow. The cow likes the bald eagle. The cow likes the cat. The cow visits the bear. The cow visits the cat. If something is kind then it visits the bald eagle. If something visits the cow and it likes the bald eagle then the cow visits the bald eagle.
The bald eagle visits the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the cow.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear needs the bald eagle.[(triple6)] The cat is cold.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat likes the bear.[(triple9)] The cat needs the cow.[(triple10)] The cat visits the bear.[(triple11)] The cat visits the cow.[(triple12)] The cow likes the bald eagle.[(triple13)] The cow likes the cat.[(triple14)] The cow visits the bear.[(triple15)] The cow visits the cat.[(triple16)] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule1))] The cow visits the bald eagle.[(((triple12 triple8) -> rule2))]