The cat is blue. If someone is blue then they are nice. If someone is nice then they are cold. Cold people are rough.
The cat does not chase the cat.
@0: The cat is blue.[(triple1)] @1: The cat is nice.[(((triple1) -> rule1))] @2: The cat is cold.[(((((triple1) -> rule1)) -> rule2))] @3: The cat is rough.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]