The tiger is big. The tiger is green. The tiger is kind. If the tiger is cold then the tiger is rough. All green, kind things are rough. If the tiger is cold then the tiger is kind.
The tiger does not chase the tiger.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is kind.[(triple3)] @1: The tiger is rough.[(((triple2 triple3) -> rule2))]