Gary is smart. Harry is smart. All smart things are furry. Kind things are rough. All young things are smart. If something is smart and green then it is young. If something is green then it is young. Young, rough things are smart. All kind, green things are young. All rough things are furry.
Harry is not rough.
@0: Gary is smart.[(triple1)] Harry is smart.[(triple2)] @1: Gary is furry.[(((triple1) -> rule1))] Harry is furry.[(((triple2) -> rule1))]