The bald eagle does not visit the cat. The cat does not chase the bald eagle. The lion chases the cat. Kind things are cold. If the lion does not chase the cat then the lion likes the cat. If something chases the cat then the cat likes the bald eagle. If something visits the cat then the cat does not visit the lion. If something likes the cat and the cat is cold then it chases the lion. If something likes the cat then it chases the lion. All cold things are big. If something likes the bald eagle then it visits the cat.
The bald eagle visits the cat.
@0: The bald eagle does not visit the cat.[(triple1)] The cat does not chase the bald eagle.[(triple2)] The lion chases the cat.[(triple3)] @1: The cat likes the bald eagle.[(((triple3) -> rule3))] @2: The cat visits the cat.[(((((triple3) -> rule3)) -> rule8))] @3: The cat does not visit the lion.[(((((((triple3) -> rule3)) -> rule8)) -> rule4))]