The bald eagle is green. The bald eagle is nice. The cow eats the dog. The cow is green. The cow is nice. The cow sees the dog. The dog chases the bald eagle. The dog chases the cow. The dog eats the bald eagle. The dog is young. The dog sees the tiger. The tiger is kind. If someone sees the tiger then the tiger sees the dog. If someone is nice and they eat the tiger then they chase the cow. If someone chases the dog then the dog chases the bald eagle.
The tiger sees the cow.
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The cow eats the dog.[(triple3)] The cow is green.[(triple4)] The cow is nice.[(triple5)] The cow sees the dog.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog chases the cow.[(triple8)] The dog eats the bald eagle.[(triple9)] The dog is young.[(triple10)] The dog sees the tiger.[(triple11)] The tiger is kind.[(triple12)] @1: The tiger sees the dog.[(((triple11) -> rule1))]