Add the These-Disjunction Prism.
Add an example for the These-Disjunction Prism.
Merge pull request #143 from NightRa/master

#137 These-Disjunction Prism