The cat is big. The cat is cold. The cat is red. The cat is rough. The cat is round. Rough things are red.
The cat does not like 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 round.[(triple5)]