Anne is big. Anne is red. Anne is smart. Erin is big. Erin is red. Erin is smart. Harry is quiet. Smart things are quiet.
Erin is cold.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Erin is big.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is quiet.[(((triple3) -> rule1))] Erin is quiet.[(((triple6) -> rule1))]