Gary is rough. All rough, cold things are round. If something is smart and cold then it is big. All big, rough things are round. All smart, round things are quiet. All cold things are green. If Gary is round and Gary is green then Gary is smart. All green, round things are smart. If something is round and rough then it is quiet.
Gary is not smart.
@0: Gary is rough.[(triple1)]