Anne is big. Erin is cold. Big things are smart. If something is red then it is cold. If something is young and red then it is big. All nice things are cold. All smart things are red. If Anne is young and Anne is cold then Anne is red.
Erin is not cold.
@0: Anne is big.[(triple1)] Erin is cold.[(triple2)] @1: Anne is smart.[(((triple1) -> rule1))] @2: Anne is red.[(((((triple1) -> rule1)) -> rule5))] @3: Anne is cold.[(((((((triple1) -> rule1)) -> rule5)) -> rule2))]