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 sees 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))]