Anne is round. Charlie is round. Dave is nice. Fiona is white. All nice things are blue. Blue things are quiet.
Dave is not quiet.
@0: Anne is round.[(triple1)] Charlie is round.[(triple2)] Dave is nice.[(triple3)] Fiona is white.[(triple4)] @1: Dave is blue.[(((triple3) -> rule1))] @2: Dave is quiet.[(((((triple3) -> rule1)) -> rule2))]