Charlie is green. Charlie is nice. Charlie is white. Dave is quiet. Fiona is green. Fiona is round. Harry is furry. Furry things are quiet. If something is white then it is furry. Green, quiet things are round.
Dave is not white.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is white.[(triple3)] Dave is quiet.[(triple4)] Fiona is green.[(triple5)] Fiona is round.[(triple6)] Harry is furry.[(triple7)] @1: Charlie is furry.[(((triple3) -> rule2))] Harry is quiet.[(((triple7) -> rule1))] @2: Charlie is quiet.[(((((triple3) -> rule2)) -> rule1))] @3: Charlie is round.[(((triple1 ((((triple3) -> rule2)) -> rule1)) -> rule3))]