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