The cat is big. The cat is blue. The cat is cold. The cat is rough. The cat is not young. If someone is rough and not blue then they are young. If someone is cold and blue then they are rough.
The cat is blue.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is not young.[(triple5)] The cat is rough.[(triple4 OR ((triple3 triple2) -> rule2))]