Anne is furry. Anne is quiet. Anne is white. Dave is big. Dave is round. Dave is white. Gary is cold. All white, big things are cold. If something is quiet then it is green. If something is green and furry then it is big.
Dave is quiet.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Gary is cold.[(triple7)] @1: Anne is green.[(((triple2) -> rule2))] Dave is cold.[(((triple6 triple4) -> rule1))] @2: Anne is big.[(((((triple2) -> rule2) triple1) -> rule3))] @3: Anne is cold.[(((triple3 ((((triple2) -> rule2) triple1) -> rule3)) -> rule1))]