Anne is round. Bob is young. Erin is kind. Fiona is blue. If something is cold then it is young. Blue things are cold.
Erin is blue.
@0: Anne is round.[(triple1)] Bob is young.[(triple2)] Erin is kind.[(triple3)] Fiona is blue.[(triple4)] @1: Fiona is cold.[(((triple4) -> rule2))] @2: Fiona is young.[(((((triple4) -> rule2)) -> rule1))]