The bald eagle visits the dog. The cow is not nice. The cow likes the tiger. The cow sees the bald eagle. The cow visits the bald eagle. The dog does not like the tiger. The dog does not visit the bald eagle. The dog visits the cow. The dog visits the tiger. The tiger likes the cow. If someone sees the bald eagle then the bald eagle sees the cow. If someone sees the bald eagle then they are blue. If the dog likes the cow and the dog is blue then the cow is green. If someone is blue and they like the tiger then they like the bald eagle. If someone sees the dog then the dog does not like the cow. If the tiger is green then the tiger sees the cow. If the cow is nice and the cow is not kind then the cow likes the dog. All kind people are big.
The cow does not like the bald eagle.
@0: The bald eagle visits the dog.[(triple1)] The cow is not nice.[(triple2)] The cow likes the tiger.[(triple3)] The cow sees the bald eagle.[(triple4)] The cow visits the bald eagle.[(triple5)] The dog does not like the tiger.[(triple6)] The dog does not visit the bald eagle.[(triple7)] The dog visits the cow.[(triple8)] The dog visits the tiger.[(triple9)] The tiger likes the cow.[(triple10)] @1: The bald eagle sees the cow.[(((triple4) -> rule1))] The cow is blue.[(((triple4) -> rule2))] @2: The cow likes the bald eagle.[(((((triple4) -> rule2) triple3) -> rule4))]