The cat is big. The cat is cold. The cat is green. The cat is red. The cat is round. Big people are green.
The cat does not like the cat.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3 OR ((triple1) -> rule1))] The cat is red.[(triple4)] The cat is round.[(triple5)]