The bald eagle visits the bear. The bear likes the cat. The cat visits the bear. The dog eats the bear. If the bear likes the bald eagle then the bear is cold. If something likes the dog and the dog does not visit the bear then the dog does not visit the cat. If something likes the cat then it does not visit the bald eagle. If something is round then it likes the cat. If something likes the cat then the cat is round. If something likes the cat then the cat is round. If something eats the dog and the dog is not round then it is cold. If the cat visits the bald eagle then the bald eagle likes the cat.
The bear eats the bald eagle.
@0: The bald eagle visits the bear.[(triple1)] The bear likes the cat.[(triple2)] The cat visits the bear.[(triple3)] The dog eats the bear.[(triple4)] @1: The bear does not visit the bald eagle.[(((triple2) -> rule3))] The cat is round.[(((triple2) -> rule5) OR ((triple2) -> rule6))] @2: The cat likes the cat.[(((((triple2) -> rule5)) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] @3: The cat does not visit the bald eagle.[(((((((triple2) -> rule5)) -> rule4)) -> rule3) OR ((((((triple2) -> rule6)) -> rule4)) -> rule3))]