Anne is blue. Anne is quiet. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is young. Blue people are young.
Anne is not nice.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Harry is green.[(triple3)] Harry is nice.[(triple4)] Harry is quiet.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7)] @1: Anne is young.[(((triple1) -> rule1))]