Anne is quiet. Charlie is rough. Gary is rough. Harry is young. If Charlie is rough then Charlie is round. If Anne is quiet and Anne is smart then Anne is young. All green people are rough.
Harry is young.
@0: Anne is quiet.[(triple1)] Charlie is rough.[(triple2)] Gary is rough.[(triple3)] Harry is young.[(triple4)] @1: Charlie is round.[(((triple2) -> rule1))]