The bald eagle visits the tiger. The cat eats the tiger. The cat is kind. The cat visits the tiger. The dog likes the cat. The dog visits the bald eagle. The dog visits the cat. The tiger is cold. The tiger likes the bald eagle. The tiger likes the dog. The tiger visits the cat. The tiger visits the dog. If someone visits the tiger then the tiger visits the bald eagle. If someone eats the bald eagle then they visit the bald eagle. If someone likes the dog then the dog likes the cat. If someone is round then they like the tiger. If someone visits the cat and they like the dog then the cat visits the tiger. If the tiger visits the dog then the dog is nice. If someone eats the tiger and they like the bald eagle then the tiger is round. If the tiger likes the cat and the cat is nice then the cat visits the bald eagle.
The bald eagle does not visit the bald eagle.
@0: The bald eagle visits the tiger.[(triple1)] The cat eats the tiger.[(triple2)] The cat is kind.[(triple3)] The cat visits the tiger.[(triple4 OR ((triple11 triple10) -> rule5))] The dog likes the cat.[(triple5 OR ((triple10) -> rule3))] The dog visits the bald eagle.[(triple6)] The dog visits the cat.[(triple7)] The tiger is cold.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the dog.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the dog.[(triple12)] @1: The dog is nice.[(((triple12) -> rule6))] The tiger visits the bald eagle.[(((triple1) -> rule1) OR ((triple4) -> rule1) OR ((((triple11 triple10) -> rule5)) -> rule1))]