The bald eagle visits the cat. The bear is nice. The bear visits the bald eagle. The bear visits the cat. The cat is nice. The cat is young. The cat likes the bear. The cat sees the bald eagle. The cat sees the cow. The cat visits the cow. The cow likes the bear. The cow sees the cat. If someone sees the bald eagle then the bald eagle visits the cow.
The cow does not see the cat.
@0: The bald eagle visits the cat.[(triple1)] The bear is nice.[(triple2)] The bear visits the bald eagle.[(triple3)] The bear visits the cat.[(triple4)] The cat is nice.[(triple5)] The cat is young.[(triple6)] The cat likes the bear.[(triple7)] The cat sees the bald eagle.[(triple8)] The cat sees the cow.[(triple9)] The cat visits the cow.[(triple10)] The cow likes the bear.[(triple11)] The cow sees the cat.[(triple12)] @1: The bald eagle visits the cow.[(((triple8) -> rule1))]