The bald eagle chases the dog. The bald eagle is round. The cow eats the bald eagle. The cow is kind. The cow is red. The cow is round. The cow visits the bald eagle. The cow visits the dog. The dog eats the cow. The dog is cold. The dog visits the bald eagle. The dog visits the cow. If something eats the dog then the dog eats the bald eagle. If something visits the cow then the cow visits the dog.
The dog visits the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is round.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow is kind.[(triple4)] The cow is red.[(triple5)] The cow is round.[(triple6)] The cow visits the bald eagle.[(triple7)] The cow visits the dog.[(triple8 OR ((triple12) -> rule2))] The dog eats the cow.[(triple9)] The dog is cold.[(triple10)] The dog visits the bald eagle.[(triple11)] The dog visits the cow.[(triple12)]