Anne is nice. Anne is smart. Dave is big. Dave is cold. Gary is green. Gary is quiet. Gary is white. If something is quiet then it is smart. Smart things are nice. If Anne is white and Anne is nice then Anne is cold.
Gary is quiet.