The bald eagle visits the tiger. The cat likes the lion. The lion likes the bald eagle. The tiger needs the lion. If something visits the lion then the lion likes the tiger. If something visits the tiger then the tiger needs the cat. If the bald eagle needs the lion then the bald eagle likes the lion. If something likes the lion and it needs the tiger then the tiger is not young. If something likes the lion then the lion is cold. If something needs the cat then it visits the lion.
The tiger does not visit the lion.
@0: The bald eagle visits the tiger.[(triple1)] The cat likes the lion.[(triple2)] The lion likes the bald eagle.[(triple3)] The tiger needs the lion.[(triple4)] @1: The lion is cold.[(((triple2) -> rule5))] The tiger needs the cat.[(((triple1) -> rule2))] @2: The tiger visits the lion.[(((((triple1) -> rule2)) -> rule6))] @3: The lion likes the tiger.[(((((((triple1) -> rule2)) -> rule6)) -> rule1))]