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