Bob is white. White things are cold. If Bob is kind then Bob is white. Cold things are kind.
Bob is not young.
@0: Bob is white.[(triple1)] @1: Bob is cold.[(((triple1) -> rule1))] @2: Bob is kind.[(((((triple1) -> rule1)) -> rule3))]