The cat is big. The cat is cold. The cat is red. The cat is rough. The cat is young. Rough people are red.
The cat chases the cat.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is red.[(triple3 OR ((triple4) -> rule1))] The cat is rough.[(triple4)] The cat is young.[(triple5)]