The lion is kind. The lion is rough. The lion is round. If the lion is round then the lion is nice. Red, nice people are rough. Red, nice people are kind.
The lion does not visit the lion.
@0: The lion is kind.[(triple1)] The lion is rough.[(triple2)] The lion is round.[(triple3)] @1: The lion is nice.[(((triple3) -> rule1))]