Anne is rough. Erin is blue. Harry is cold. If something is quiet and big then it is cold. Smart things are quiet. If something is big then it is smart. Blue things are rough. If Harry is cold then Harry is big. All blue things are smart.
Erin is not rough.
@0: Anne is rough.[(triple1)] Erin is blue.[(triple2)] Harry is cold.[(triple3)] @1: Erin is rough.[(((triple2) -> rule4))] Erin is smart.[(((triple2) -> rule6))] Harry is big.[(((triple3) -> rule5))] @2: Erin is quiet.[(((((triple2) -> rule6)) -> rule2))] Harry is smart.[(((((triple3) -> rule5)) -> rule3))] @3: Harry is quiet.[(((((((triple3) -> rule5)) -> rule3)) -> rule2))]