The bald eagle needs the rabbit. The cat needs the rabbit. The rabbit is cold. If something needs the rabbit then it visits the bald eagle. If the cat visits the bald eagle then the bald eagle sees the cat. If something sees the cat then it is cold. If the bald eagle is rough and the bald eagle visits the cat then the cat is kind. If something is kind then it visits the bald eagle. If something sees the cat then the cat needs the bald eagle.
The bald eagle does not need the rabbit.
@0: The bald eagle needs the rabbit.[(triple1)] The cat needs the rabbit.[(triple2)] The rabbit is cold.[(triple3)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule1))] The cat visits the bald eagle.[(((triple2) -> rule1))] @2: The bald eagle sees the cat.[(((((triple2) -> rule1)) -> rule2))] @3: The bald eagle is cold.[(((((((triple2) -> rule1)) -> rule2)) -> rule3))] The cat needs the bald eagle.[(((((((triple2) -> rule1)) -> rule2)) -> rule6))]