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