The lion is red. The lion is round. The lion is young. Young things are kind.
The lion is not kind.
@0: The lion is red.[(triple1)] The lion is round.[(triple2)] The lion is young.[(triple3)] @1: The lion is kind.[(((triple3) -> rule1))]