Does 'The user is offered a choice with man-  a  a tiger or other animal that has acquired the habit of eating  a woman given to chasing, catching and devouring men. ' provide a contradiction to the established premise 'Alligators are also an available choice. '
The user is offered a choice with man-  a  a tiger or other animal that has acquired the habit of eating  a woman given to chasing, catching and devouring men. ###Alligators are also an available choice. 