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 is red.
@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)]