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