Bob Smith quit the GOP and will run for president as an independent.
There was a time when Bob Smith was in the GOP.
mnli hypothesis: There was a time when Bob Smith was in the GOP. premise: Bob Smith quit the GOP and will run for president as an independent.