Anne is kind. Charlie is quiet. Dave is round. Harry is rough. All rough things are young. Round things are young. All cold, round things are smart.
Dave is round.
@0: Anne is kind.[(triple1)] Charlie is quiet.[(triple2)] Dave is round.[(triple3)] Harry is rough.[(triple4)] @1: Dave is young.[(((triple3) -> rule2))] Harry is young.[(((triple4) -> rule1))]