Dave is round. Harry is round. Round things are rough. All rough, nice things are quiet. Rough things are nice. If something is round then it is green. If Dave is rough and Dave is young then Dave is round. If Harry is blue and Harry is rough then Harry is quiet. Blue things are nice. Quiet, blue things are rough.
Harry is not round.
@0: Dave is round.[(triple1)] Harry is round.[(triple2)] @1: Dave is green.[(((triple1) -> rule4))] Dave is rough.[(((triple1) -> rule1))] Harry is green.[(((triple2) -> rule4))] Harry is rough.[(((triple2) -> rule1))] @2: Dave is nice.[(((((triple1) -> rule1)) -> rule3))] Harry is nice.[(((((triple2) -> rule1)) -> rule3))] @3: Dave is quiet.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule2))] Harry is quiet.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule3)) -> rule2))]