The squirrel is blue. The squirrel is kind. The squirrel is young. All kind people are young.
The squirrel is not young.
@0: The squirrel is blue.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is young.[(triple3 OR ((triple2) -> rule1))]