The tiger is big. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is young. Big, nice people are rough.
The tiger chases the tiger.
@0: The tiger is big.[(triple1)] The tiger is kind.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple1 triple3) -> rule1))] The tiger is young.[(triple5)]