Anne is cold. Charlie is cold. Erin is cold. If something is cold then it is smart. If something is smart then it is rough. Cold, rough things are red.
Charlie is big.
@0: Anne is cold.[(triple1)] Charlie is cold.[(triple2)] Erin is cold.[(triple3)] @1: Anne is smart.[(((triple1) -> rule1))] Charlie is smart.[(((triple2) -> rule1))] Erin is smart.[(((triple3) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule1)) -> rule2))] Charlie is rough.[(((((triple2) -> rule1)) -> rule2))] Erin is rough.[(((((triple3) -> rule1)) -> rule2))] @3: Anne is red.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule3))] Charlie is red.[(((triple2 ((((triple2) -> rule1)) -> rule2)) -> rule3))] Erin is red.[(((triple3 ((((triple3) -> rule1)) -> rule2)) -> rule3))]