Anne is nice. Bob is round. Charlie is young. Dave is young. Nice things are blue. All blue things are green.
Anne is green.
@0: Anne is nice.[(triple1)] Bob is round.[(triple2)] Charlie is young.[(triple3)] Dave is young.[(triple4)] @1: Anne is blue.[(((triple1) -> rule1))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule2))]