The tiger is green. The tiger is kind. The tiger is red. The tiger is rough. The tiger is young. If something is kind then it is red.
The tiger does not chase the tiger.
@0: The tiger is green.[(triple1)] The tiger is kind.[(triple2)] The tiger is red.[(triple3 OR ((triple2) -> rule1))] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]