Anne is green. Anne is rough. Anne is smart. Anne is white. Dave is white. Dave is young. Fiona is green. Rough people are furry. If someone is furry and rough then they are young.
Dave is not white.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Fiona is green.[(triple7)] @1: Anne is furry.[(((triple2) -> rule1))] @2: Anne is young.[(((((triple2) -> rule1) triple2) -> rule2))]