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