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 bald eagle is not young.
@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))]