The bear is nice. The cow is nice. The mouse is round. The squirrel sees the cow. Round things are young.
The squirrel does not see the cow.
@0: The bear is nice.[(triple1)] The cow is nice.[(triple2)] The mouse is round.[(triple3)] The squirrel sees the cow.[(triple4)] @1: The mouse is young.[(((triple3) -> rule1))]