Dave is green. Dave is rough. Dave is round. Gary is cold. Gary is green. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Gary is white. Harry is cold. Harry is quiet. If something is smart and rough then it is quiet. All cold things are round.
Gary is not smart.