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 mouse does not see the rabbit.
@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))]