The tiger is big. The tiger is green. The tiger is nice. The tiger is rough. The tiger is young. All young, big things are rough.
The tiger eats the tiger.
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple5 triple1) -> rule1))] The tiger is young.[(triple5)]