The bald eagle is nice. The bald eagle sees the cow. The bald eagle visits the cat. The bald eagle visits the cow. The cat eats the bald eagle. The cat is rough. The cow eats the bald eagle. The cow eats the cat. The cow eats the tiger. The cow is young. The cow sees the cat. The cow visits the bald eagle. The cow visits the tiger. The tiger is green. The tiger is nice. The tiger is rough. If someone visits the cat then the cat visits the bald eagle. If the cat eats the tiger then the cat visits the cow. If someone sees the bald eagle and the bald eagle sees the tiger then the bald eagle eats the cow.
The bald eagle does not eat the cow.
@0: The bald eagle is nice.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle visits the cat.[(triple3)] The bald eagle visits the cow.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat is rough.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow eats the cat.[(triple8)] The cow eats the tiger.[(triple9)] The cow is young.[(triple10)] The cow sees the cat.[(triple11)] The cow visits the bald eagle.[(triple12)] The cow visits the tiger.[(triple13)] The tiger is green.[(triple14)] The tiger is nice.[(triple15)] The tiger is rough.[(triple16)] @1: The cat visits the bald eagle.[(((triple3) -> rule1))]