The tiger is rough. If something is cold then it is big. If something is big then it is green. Big, rough things are green. If something is rough then it is cold. If the tiger is big then the tiger is blue. Cold, big things are blue.
The tiger does not eat the tiger.
@0: The tiger is rough.[(triple1)] @1: The tiger is cold.[(((triple1) -> rule4))] @2: The tiger is big.[(((((triple1) -> rule4)) -> rule1))] @3: The tiger is blue.[(((((((triple1) -> rule4)) -> rule1)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule1)) -> rule6))] The tiger is green.[(((((((triple1) -> rule4)) -> rule1)) -> rule2) OR ((((((triple1) -> rule4)) -> rule1) triple1) -> rule3))]