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.
Charlie is not blue.
@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))]