Anne is kind. Anne is quiet. Anne is young. Charlie is kind. Charlie is not young. Gary is green. Harry is young. If someone is young and not green then they are kind. Quiet people are blue.
Gary is young.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Charlie is kind.[(triple4)] Charlie is not young.[(triple5)] Gary is green.[(triple6)] Harry is young.[(triple7)] @1: Anne is blue.[(((triple2) -> rule2))]