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