Anne is rough. Charlie is kind. Gary is young. Harry is not smart. Young people are smart. If someone is young and not smart then they are blue.
Harry is smart.
@0: Anne is rough.[(triple1)] Charlie is kind.[(triple2)] Gary is young.[(triple3)] Harry is not smart.[(triple4)] @1: Gary is smart.[(((triple3) -> rule1))]