The bald eagle visits the rabbit. The rabbit chases the bald eagle. The rabbit visits the bald eagle. If something chases the bald eagle and it visits the bald eagle then it sees the bald eagle. If something sees the rabbit then the rabbit chases the bald eagle. If something is red and it chases the rabbit then the rabbit is big.
The rabbit does not visit the bald eagle.
@0: The bald eagle visits the rabbit.[(triple1)] The rabbit chases the bald eagle.[(triple2)] The rabbit visits the bald eagle.[(triple3)] @1: The rabbit sees the bald eagle.[(((triple2 triple3) -> rule1))]