Anne is cold. Anne is rough. Dave is cold. All red, big things are smart. Green, cold things are big. Rough, smart things are cold. All red things are green. If something is rough then it is red. All rough things are quiet.
Anne is green.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Dave is cold.[(triple3)] @1: Anne is quiet.[(((triple2) -> rule6))] Anne is red.[(((triple2) -> rule5))] @2: Anne is green.[(((((triple2) -> rule5)) -> rule4))] @3: Anne is big.[(((((((triple2) -> rule5)) -> rule4) triple1) -> rule2))] @4: Anne is smart.[(((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule4) triple1) -> rule2)) -> rule1))]