Anne is blue. Dave is blue. Harry is round. All smart people are furry. If someone is green and round then they are smart. If someone is round then they are green.
Dave is round.
@0: Anne is blue.[(triple1)] Dave is blue.[(triple2)] Harry is round.[(triple3)] @1: Harry is green.[(((triple3) -> rule3))] @2: Harry is smart.[(((((triple3) -> rule3) triple3) -> rule2))] @3: Harry is furry.[(((((((triple3) -> rule3) triple3) -> rule2)) -> rule1))]