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 likes 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))]