The bald eagle chases the cow. The bald eagle is red. The bald eagle needs the dog. The bald eagle needs the tiger. The bald eagle visits the dog. The cow is nice. The dog chases the tiger. The dog visits the bald eagle. The dog visits the tiger. The tiger chases the cow. If someone visits the bald eagle then they are blue. All nice people are young.
The cow is nice.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle needs the tiger.[(triple4)] The bald eagle visits the dog.[(triple5)] The cow is nice.[(triple6)] The dog chases the tiger.[(triple7)] The dog visits the bald eagle.[(triple8)] The dog visits the tiger.[(triple9)] The tiger chases the cow.[(triple10)] @1: The cow is young.[(((triple6) -> rule2))] The dog is blue.[(((triple8) -> rule1))]