Gary is smart. Harry is nice. If Gary is smart and Gary is nice then Gary is quiet. All big people are smart. Red people are not quiet. All red, round people are not big. If someone is big then they are smart. If someone is red then they are smart.
Gary is round.