Anne is young. Bob is nice. Dave is quiet. Harry is white. All round, white things are young. Round things are white. Green things are white. All white things are quiet. If something is green and nice then it is white. Young, blue things are quiet.
Bob is blue.
@0: Anne is young.[(triple1)] Bob is nice.[(triple2)] Dave is quiet.[(triple3)] Harry is white.[(triple4)] @1: Harry is quiet.[(((triple4) -> rule4))]