Anne is rough. Charlie is red. Harry is round. Round people are rough.
Harry is furry.
@0: Anne is rough.[(triple1)] Charlie is red.[(triple2)] Harry is round.[(triple3)] @1: Harry is rough.[(((triple3) -> rule1))]