The tiger is green. If someone is green then they are rough. If someone is green and blue then they are big. If someone is rough then they are blue. If someone is green and rough then they are young. Green, rough people are blue. If someone is rough then they are blue.
The tiger does not chase the tiger.
@0: The tiger is green.[(triple1)] @1: The tiger is rough.[(((triple1) -> rule1))] @2: The tiger is blue.[(((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule1)) -> rule6) OR ((triple1 ((triple1) -> rule1)) -> rule5))] The tiger is young.[(((triple1 ((triple1) -> rule1)) -> rule4))] @3: The tiger is big.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2) OR ((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule2) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2))]