Anne is round. Bob is kind. Dave is green. Erin is nice. All round people are green. Green people are cold.
Bob is not cold.
@0: Anne is round.[(triple1)] Bob is kind.[(triple2)] Dave is green.[(triple3)] Erin is nice.[(triple4)] @1: Anne is green.[(((triple1) -> rule1))] Dave is cold.[(((triple3) -> rule2))] @2: Anne is cold.[(((((triple1) -> rule1)) -> rule2))]