The cat is big. The cat is cold. The cat is red. The cat is rough. The cat is young. If something is red then it is cold. If the cat is not big then the cat is not young.
The cat is not young.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2 OR ((triple3) -> rule1))] The cat is red.[(triple3)] The cat is rough.[(triple4)] The cat is young.[(triple5)]