Anne is white. Dave is round. Erin is white. All white things are cold.
Erin is round.
@0: Anne is white.[(triple1)] Dave is round.[(triple2)] Erin is white.[(triple3)] @1: Anne is cold.[(((triple1) -> rule1))] Erin is cold.[(((triple3) -> rule1))]