The bald eagle likes the cow. The bald eagle sees the dog. The bald eagle does not visit the dog. The cow is blue. The cow likes the tiger. The cow sees the bald eagle. The cow visits the tiger. The dog sees the cow. The tiger likes the cow. The tiger does not visit the cow. If something likes the tiger then the tiger is not young. If something is green and blue then it sees the cow. If the tiger is round and the tiger is blue then the tiger likes the cow. If something visits the bald eagle then the bald eagle is blue. If something is green and it does not like the dog then it is cold. If something likes the tiger then the tiger likes the bald eagle. If something sees the dog then it visits the cow. If the bald eagle does not like the tiger and the tiger is not cold then the tiger sees the dog.
The tiger likes the cow.
@0: The bald eagle does not visit the dog.[(triple3)] The bald eagle likes the cow.[(triple1)] The bald eagle sees the dog.[(triple2)] The cow is blue.[(triple4)] The cow likes the tiger.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow visits the tiger.[(triple7)] The dog sees the cow.[(triple8)] The tiger does not visit the cow.[(triple10)] The tiger likes the cow.[(triple9)] @1: The bald eagle visits the cow.[(((triple2) -> rule7))] The tiger is not young.[(((triple5) -> rule1))] The tiger likes the bald eagle.[(((triple5) -> rule6))]