The bald eagle visits the lion. The cow eats the bald eagle. The cow eats the lion. The cow likes the lion. The cow visits the bald eagle. The dog eats the lion. The dog is cold. The dog is red. The dog likes the cow. The dog visits the lion. The lion is cold. The lion likes the cow. If something likes the bald eagle and it visits the bald eagle then it is blue. If the cow eats the lion and the cow is cold then the cow likes the bald eagle. If something eats the cow then it eats the bald eagle. If something likes the cow and it visits the dog then it eats the cow. If something visits the bald eagle then it visits the dog. If the cow eats the dog and the dog visits the bald eagle then the dog eats the bald eagle. If something likes the bald eagle then it is round. If something is blue and it eats the lion then the lion eats the cow.
The cow does not like the lion.
@0: The bald eagle visits the lion.[(triple1)] The cow eats the bald eagle.[(triple2)] The cow eats the lion.[(triple3)] The cow likes the lion.[(triple4)] The cow visits the bald eagle.[(triple5)] The dog eats the lion.[(triple6)] The dog is cold.[(triple7)] The dog is red.[(triple8)] The dog likes the cow.[(triple9)] The dog visits the lion.[(triple10)] The lion is cold.[(triple11)] The lion likes the cow.[(triple12)] @1: The cow visits the dog.[(((triple5) -> rule5))]