Anne is young. Bob is green. Gary is green. Harry is smart. All white, smart things are furry. If something is young then it is quiet. If something is smart then it is white.
Bob is blue.
@0: Anne is young.[(triple1)] Bob is green.[(triple2)] Gary is green.[(triple3)] Harry is smart.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule2))] Harry is white.[(((triple4) -> rule3))] @2: Harry is furry.[(((((triple4) -> rule3) triple4) -> rule1))]