The bald eagle is blue. The bald eagle is young. The bald eagle sees the cow. The cow eats the bald eagle. The cow is blue. The cow likes the dog. The cow sees the tiger. The dog eats the tiger. The dog is green. The dog likes the tiger. The dog sees the cow. The tiger eats the bald eagle. If the cow is green then the cow eats the tiger. If the bald eagle is blue then the bald eagle eats the tiger. If something sees the dog then the dog sees the cow.
The cow does not like the dog.
@0: The bald eagle is blue.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the cow.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is blue.[(triple5)] The cow likes the dog.[(triple6)] The cow sees the tiger.[(triple7)] The dog eats the tiger.[(triple8)] The dog is green.[(triple9)] The dog likes the tiger.[(triple10)] The dog sees the cow.[(triple11)] The tiger eats the bald eagle.[(triple12)] @1: The bald eagle eats the tiger.[(((triple1) -> rule2))]