Anne is smart. Charlie is young. Gary is big. Gary is quiet. Gary is red. Gary is round. Gary is white. Harry is big. Harry is not quiet. Harry is red. If something is round then it is big. If Gary is red then Gary is white. If something is white then it is young. If Gary is not quiet and Gary is not red then Gary is not white. If something is smart and not white then it is not red. If something is not young then it is round.
Harry is not young.