The tiger is red. The tiger is rough. The tiger is round. If the tiger is round then the tiger is not kind.
The tiger is red.
@0: The tiger is red.[(triple1)] The tiger is rough.[(triple2)] The tiger is round.[(triple3)] @1: The tiger is not kind.[(((triple3) -> rule1))]