The tiger is red. If the tiger is red then the tiger is big. If the tiger is red and the tiger is big then the tiger is green. If the tiger is big and the tiger is not red then the tiger is not green. If someone is green and not red then they are big. If someone is cold then they are big. If the tiger is green then the tiger is cold. All green, red people are cold. All cold, red people are green.
The tiger visits the tiger.
@0: The tiger is red.[(triple1)] @1: The tiger is big.[(((triple1) -> rule1))] @2: The tiger is green.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: The tiger is cold.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6) OR ((((triple1 ((triple1) -> rule1)) -> rule2) triple1) -> rule7))]