The bald eagle sees the rabbit. The rabbit visits the tiger. The tiger visits the rabbit. If the rabbit is cold and the rabbit is young then the rabbit visits the bald eagle. If something sees the rabbit then it does not visit the tiger.
The bald eagle does not visit the tiger.
@0: The bald eagle sees the rabbit.[(triple1)] The rabbit visits the tiger.[(triple2)] The tiger visits the rabbit.[(triple3)] @1: The bald eagle does not visit the tiger.[(((triple1) -> rule2))]