https://www.tetchallenger.com/2021/04/hypothetical-and-disjunctive-syllogism-2021.html