Anne is kind. Bob is green. Gary is nice. Harry is nice. If something is nice then it is kind. All quiet, young things are not rough.
Gary is nice.
@0: Anne is kind.[(triple1)] Bob is green.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)] @1: Gary is kind.[(((triple3) -> rule1))] Harry is kind.[(((triple4) -> rule1))]