More information on using Euler Logic Diagrams to prove the truth or fallacy of an argument can be found in this posting: https://cdrkerchner.wordpress.com/2018/06/16/natural-born-citizen/
Such a ruling will naturally occur, probably during Trump’s second term, as a direct result of Obama’s downfall. The wrinkle, of course, is that if Obama was ineligible for the office, both Kagan and Sotomayor were invalidly nominated to SCOTUS. They would need to recuse themselves in any such deliberations as a result. Ironically, it would also render moot the question of Merrick Garland’s nomination, which would also have been invalid if the Senate had confirmed him.