The cat is cold. If something is blue then it is big. All cold things are blue.
The cat is not blue.
@0: The cat is cold.[(triple1)] @1: The cat is blue.[(((triple1) -> rule2))] @2: The cat is big.[(((((triple1) -> rule2)) -> rule1))]