The bald eagle eats the dog. The bald eagle is blue. The bald eagle likes the cow. The bald eagle likes the dog. The cat does not like the dog. The cow sees the cat. The dog eats the cat. If someone sees the dog and the dog likes the cat then they like the cow. If someone sees the cow and the cow is green then they see the dog. If someone eats the dog then they do not see the cow.
The cow does not see the dog.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the dog.[(triple4)] The cat does not like the dog.[(triple5)] The cow sees the cat.[(triple6)] The dog eats the cat.[(triple7)] @1: The bald eagle does not see the cow.[(((triple1) -> rule3))]