Bob is cold. Charlie is cold. Charlie is green. Cold, green people are white. If someone is white then they are blue. All white people are cold.
Bob is cold.
@0: Bob is cold.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] @1: Charlie is white.[(((triple2 triple3) -> rule1))] @2: Charlie is blue.[(((((triple2 triple3) -> rule1)) -> rule2))]