The cat is big. The cat is cold. The cat is nice. The cat is rough. The cat is young. All rough things are young.
The cat does not see the cat.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is nice.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5 OR ((triple4) -> rule1))]