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 does not see 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)]