Anne is white. Gary is rough. Harry is smart. If something is white then it is green. If something is round and rough then it is green.
Harry is kind.
@0: Anne is white.[(triple1)] Gary is rough.[(triple2)] Harry is smart.[(triple3)] @1: Anne is green.[(((triple1) -> rule1))]