Family-values activist Gary Bauer announced he would form an exploratory committee to run for president.
Gary Bauer is considering running for president.
mnli hypothesis: Gary Bauer is considering running for president. premise: Family-values activist Gary Bauer announced he would form an exploratory committee to run for president.