The bald eagle is big. The bald eagle is kind. The bald eagle sees the dog. The bald eagle visits the dog. The dog eats the bald eagle. The dog is rough. The dog visits the bald eagle. If the bald eagle is kind then the bald eagle eats the dog.
The bald eagle is not blue.
@0: The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog is rough.[(triple6)] The dog visits the bald eagle.[(triple7)] @1: The bald eagle eats the dog.[(((triple2) -> rule1))]