Anne is rough. Fiona is kind. Kind people are white. All white people are cold.
Fiona is kind.
@0: Anne is rough.[(triple1)] Fiona is kind.[(triple2)] @1: Fiona is white.[(((triple2) -> rule1))] @2: Fiona is cold.[(((((triple2) -> rule1)) -> rule2))]