The bald eagle is young. The bald eagle needs the dog. The dog is kind. The dog is young. The dog likes the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. If the dog needs the bald eagle then the bald eagle likes the dog.
The dog is red.
@0: The bald eagle is young.[(triple1)] The bald eagle needs the dog.[(triple2)] The dog is kind.[(triple3)] The dog is young.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog needs the bald eagle.[(triple6)] The dog visits the bald eagle.[(triple7)] @1: The bald eagle likes the dog.[(((triple6) -> rule1))]