The tiger is blue. The tiger is kind. The tiger is rough. All big people are red. If someone is kind then they are big.
The tiger does not need the tiger.
@0: The tiger is blue.[(triple1)] The tiger is kind.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger is big.[(((triple2) -> rule2))] @2: The tiger is red.[(((((triple2) -> rule2)) -> rule1))]