The tiger is big. The tiger is green. The tiger is nice. The tiger is rough. The tiger is young. If the tiger is rough and the tiger is not green then the tiger is young. Green people are nice.
The tiger does not need the tiger.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is nice.[(triple3 OR ((triple2) -> rule2))] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]