Gary is furry. Gary is quiet. Gary is smart. All quiet, smart things are cold. If Gary is furry and Gary is not big then Gary is cold. All quiet, rough things are white.
Gary is not quiet.
@0: Gary is furry.[(triple1)] Gary is quiet.[(triple2)] Gary is smart.[(triple3)] @1: Gary is cold.[(((triple2 triple3) -> rule1))]