Gary is kind. Gary is not rough. Gary is young. If someone is kind then they are furry.
Gary is smart.
@0: Gary is kind.[(triple1)] Gary is not rough.[(triple2)] Gary is young.[(triple3)] @1: Gary is furry.[(((triple1) -> rule1))]