The bald eagle is nice. The mouse sees the rabbit. The rabbit visits the tiger. The tiger is young. All nice people are young.
The rabbit does not see the mouse.
@0: The bald eagle is nice.[(triple1)] The mouse sees the rabbit.[(triple2)] The rabbit visits the tiger.[(triple3)] The tiger is young.[(triple4)] @1: The bald eagle is young.[(((triple1) -> rule1))]