Anne is blue. Anne is green. Anne is round. Dave is blue. Dave is rough. Dave is round. Harry is blue. Red things are quiet. If Anne is rough then Anne is young.
Dave is not rough.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Dave is blue.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Harry is blue.[(triple7)]