The bald eagle eats the dog. The bald eagle is red. The bald eagle is young. The bald eagle does not see the dog. The bald eagle visits the cat. The cat eats the dog. The cat sees the bald eagle. The cat does not visit the bald eagle. The dog eats the cat. The dog is blue. The dog is rough. The dog visits the bald eagle. If someone visits the bald eagle then they do not eat the dog.
The bald eagle is rough.
@0: The bald eagle does not see the dog.[(triple4)] The bald eagle eats the dog.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cat.[(triple5)] The cat does not visit the bald eagle.[(triple8)] The cat eats the dog.[(triple6)] The cat sees the bald eagle.[(triple7)] The dog eats the cat.[(triple9)] The dog is blue.[(triple10)] The dog is rough.[(triple11)] The dog visits the bald eagle.[(triple12)] @1: The dog does not eat the dog.[(((triple12) -> rule1))]