Bob Smith quit the GOP and will run for president as an independent.
Bob Smith is still a member of the GOP.
mnli hypothesis: Bob Smith is still a member of the GOP. premise: Bob Smith quit the GOP and will run for president as an independent.