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.
Harry is not smart.
@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))]