Anne is white. Erin is blue. Fiona is cold. All blue things are green. All big things are cold. If something is green and blue then it is big.
Anne is big.
@0: Anne is white.[(triple1)] Erin is blue.[(triple2)] Fiona is cold.[(triple3)] @1: Erin is green.[(((triple2) -> rule1))] @2: Erin is big.[(((((triple2) -> rule1) triple2) -> rule3))] @3: Erin is cold.[(((((((triple2) -> rule1) triple2) -> rule3)) -> rule2))]