The cat is big. The cat is green. The cat is red. The cat is rough. The cat is young. Young things are rough.
The cat likes the cat.
@0: The cat is big.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4 OR ((triple5) -> rule1))] The cat is young.[(triple5)]