The tiger is big. The tiger is green. The tiger is rough. All nice things are cold. Rough things are nice.
The tiger is not rough.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger is nice.[(((triple3) -> rule2))] @2: The tiger is cold.[(((((triple3) -> rule2)) -> rule1))]