premise: 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 and true is true and true is true and true is true and true is true and true is true .
hypothesis: Alligators are also an available choice .