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.
Bob is not kind.
@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))]