The tiger is green. Green people are red. If the tiger is not green then the tiger is rough.
The tiger does not see the tiger.
@0: The tiger is green.[(triple1)] @1: The tiger is red.[(((triple1) -> rule1))]