Anne is green. Gary is big. Harry is quiet. All green people are cold. If someone is green and cold then they are big. If Gary is cold then Gary is quiet. All nice people are green. Big, cold people are quiet. If Gary is red and Gary is green then Gary is big.
Harry is quiet.
@0: Anne is green.[(triple1)] Gary is big.[(triple2)] Harry is quiet.[(triple3)] @1: Anne is cold.[(((triple1) -> rule1))] @2: Anne is big.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: Anne is quiet.[(((((triple1 ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule5))]