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 is green.
@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)]