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