「「このＳＵＡは呪わしいけど清算しない」ということは成り立つ」ということは成り立たない
fact1: もしもなにかはＢＣＧ‐ＣＷＳ単独免疫療法ならば「それは清算しないしそれは嫌味ったらしくない」ということは成り立たない fact2: もし「「とある物はＢＣＧ‐ＣＷＳ単独免疫療法だということはないがしかし御高い」ということは確かである」ということは事実と異なるとしたらそれはＢＣＧ‐ＣＷＳ単独免疫療法である fact3: 仮にこの先入見が呪わしいとするとこのＳＵＡは言語化しない fact4: もし仮にこの先入見がＢＣＧ‐ＣＷＳ単独免疫療法であるということはないが言語化するとしたらこの直根は甲斐甲斐しかない fact5: もしこの小部分がポップアップするとすればその臨床心理学はＢＣＧ‐ＣＷＳ単独免疫療法でない fact6: もし仮にこのＳＵＡが御高いならその臨床心理学は清算しない fact7: 「仮にこのＳＵＡが駐在しない一方でそれが呪わしいとするとその臨床心理学は清算しない」ということは成り立つ fact8: 仮にこのＳＵＡが駐在するとすればその臨床心理学は清算しない fact9: もしもその臨床心理学が駐在するとすれば御高い fact10: もし仮に「とあるものはポップアップしないしまたそれは駐在しない」ということは嘘ならば御高い fact11: 「この先入見は言語化するしそれに駐在する」ということは間違いである fact12: この直根は甲斐甲斐しかないなら「「このＳＵＡは呪わしいけれど清算しない」ということは本当だ」ということは誤りだ fact13: もし仮にその臨床心理学が御高いならこの小部分はＢＣＧ‐ＣＷＳ単独免疫療法でない fact14: もし仮に「この小部分はＢＣＧ‐ＣＷＳ単独免疫療法だ」ということは誤りでないならばこのＳＵＡは呪わしい fact15: この直根が甲斐甲斐しいしかつＢＣＧ‐ＣＷＳ単独免疫療法だとすると「この先入見は清算しない」ということは事実だ fact16: 「その臨床心理学はポップアップしなくて駐在しない」ということは間違いである fact17: もし仮にこのＳＵＡがＢＣＧ‐ＣＷＳ単独免疫療法でないならこの小部分はＢＣＧ‐ＣＷＳ単独免疫療法だということはない fact18: この先入見は御高い fact19: 「この先入見は言語化する」ということは本当だ fact20: 仮にこの小部分がＢＣＧ‐ＣＷＳ単独免疫療法でないならばこの先入見はＢＣＧ‐ＣＷＳ単独免疫療法でないけれどそれは言語化する fact21: 「このＳＵＡはＢＣＧ‐ＣＷＳ単独免疫療法だがそれは呪わしくない」ということは嘘である
fact10 -> int1: 「その臨床心理学はポップアップしなくてまた駐在しない」ということは成り立たないとするとそれは御高い; int1 & fact16 -> int2: その臨床心理学は御高い; int2 & fact13 -> int3: この小部分はＢＣＧ‐ＣＷＳ単独免疫療法でない; int3 & fact20 -> int4: この先入見はＢＣＧ‐ＣＷＳ単独免疫療法でないけれど言語化する; int4 & fact4 -> int5: この直根は甲斐甲斐しかない; int5 & fact12 -> hypothesis;
このＳＵＡは呪わしいが清算しない
fact22 -> int6: この先入見は御高いか言語化しないかあるいはどちらもである; int6 -> int7: 何らかの物は御高いか言語化しないかもしくはどちらもである;
$facts$ = fact1: もしもなにかはＢＣＧ‐ＣＷＳ単独免疫療法ならば「それは清算しないしそれは嫌味ったらしくない」ということは成り立たない fact2: もし「「とある物はＢＣＧ‐ＣＷＳ単独免疫療法だということはないがしかし御高い」ということは確かである」ということは事実と異なるとしたらそれはＢＣＧ‐ＣＷＳ単独免疫療法である fact3: 仮にこの先入見が呪わしいとするとこのＳＵＡは言語化しない fact4: もし仮にこの先入見がＢＣＧ‐ＣＷＳ単独免疫療法であるということはないが言語化するとしたらこの直根は甲斐甲斐しかない fact5: もしこの小部分がポップアップするとすればその臨床心理学はＢＣＧ‐ＣＷＳ単独免疫療法でない fact6: もし仮にこのＳＵＡが御高いならその臨床心理学は清算しない fact7: 「仮にこのＳＵＡが駐在しない一方でそれが呪わしいとするとその臨床心理学は清算しない」ということは成り立つ fact8: 仮にこのＳＵＡが駐在するとすればその臨床心理学は清算しない fact9: もしもその臨床心理学が駐在するとすれば御高い fact10: もし仮に「とあるものはポップアップしないしまたそれは駐在しない」ということは嘘ならば御高い fact11: 「この先入見は言語化するしそれに駐在する」ということは間違いである fact12: この直根は甲斐甲斐しかないなら「「このＳＵＡは呪わしいけれど清算しない」ということは本当だ」ということは誤りだ fact13: もし仮にその臨床心理学が御高いならこの小部分はＢＣＧ‐ＣＷＳ単独免疫療法でない fact14: もし仮に「この小部分はＢＣＧ‐ＣＷＳ単独免疫療法だ」ということは誤りでないならばこのＳＵＡは呪わしい fact15: この直根が甲斐甲斐しいしかつＢＣＧ‐ＣＷＳ単独免疫療法だとすると「この先入見は清算しない」ということは事実だ fact16: 「その臨床心理学はポップアップしなくて駐在しない」ということは間違いである fact17: もし仮にこのＳＵＡがＢＣＧ‐ＣＷＳ単独免疫療法でないならこの小部分はＢＣＧ‐ＣＷＳ単独免疫療法だということはない fact18: この先入見は御高い fact19: 「この先入見は言語化する」ということは本当だ fact20: 仮にこの小部分がＢＣＧ‐ＣＷＳ単独免疫療法でないならばこの先入見はＢＣＧ‐ＣＷＳ単独免疫療法でないけれどそれは言語化する fact21: 「このＳＵＡはＢＣＧ‐ＣＷＳ単独免疫療法だがそれは呪わしくない」ということは嘘である ; $hypothesis$ = 「「このＳＵＡは呪わしいけど清算しない」ということは成り立つ」ということは成り立たない ; $proof$ = 
fact10 -> int1: 「その臨床心理学はポップアップしなくてまた駐在しない」ということは成り立たないとするとそれは御高い; int1 & fact16 -> int2: その臨床心理学は御高い; int2 & fact13 -> int3: この小部分はＢＣＧ‐ＣＷＳ単独免疫療法でない; int3 & fact20 -> int4: この先入見はＢＣＧ‐ＣＷＳ単独免疫療法でないけれど言語化する; int4 & fact4 -> int5: この直根は甲斐甲斐しかない; int5 & fact12 -> hypothesis; __PROVED__
事実1: もしもなにかはＢＣＧ‐ＣＷＳ単独免疫療法ならば「それは清算しないしそれは嫌味ったらしくない」ということは成り立たない
事実2: もし「「とある物はＢＣＧ‐ＣＷＳ単独免疫療法だということはないがしかし御高い」ということは確かである」ということは事実と異なるとしたらそれはＢＣＧ‐ＣＷＳ単独免疫療法である
事実3: 仮にこの先入見が呪わしいとするとこのＳＵＡは言語化しない
事実4: もし仮にこの先入見がＢＣＧ‐ＣＷＳ単独免疫療法であるということはないが言語化するとしたらこの直根は甲斐甲斐しかない
事実5: もしこの小部分がポップアップするとすればその臨床心理学はＢＣＧ‐ＣＷＳ単独免疫療法でない
事実6: もし仮にこのＳＵＡが御高いならその臨床心理学は清算しない
事実7: 「仮にこのＳＵＡが駐在しない一方でそれが呪わしいとするとその臨床心理学は清算しない」ということは成り立つ
事実8: 仮にこのＳＵＡが駐在するとすればその臨床心理学は清算しない
事実9: もしもその臨床心理学が駐在するとすれば御高い
事実10: もし仮に「とあるものはポップアップしないしまたそれは駐在しない」ということは嘘ならば御高い
事実11: 「この先入見は言語化するしそれに駐在する」ということは間違いである
事実12: この直根は甲斐甲斐しかないなら「「このＳＵＡは呪わしいけれど清算しない」ということは本当だ」ということは誤りだ
事実13: もし仮にその臨床心理学が御高いならこの小部分はＢＣＧ‐ＣＷＳ単独免疫療法でない
事実14: もし仮に「この小部分はＢＣＧ‐ＣＷＳ単独免疫療法だ」ということは誤りでないならばこのＳＵＡは呪わしい
事実15: この直根が甲斐甲斐しいしかつＢＣＧ‐ＣＷＳ単独免疫療法だとすると「この先入見は清算しない」ということは事実だ
事実16: 「その臨床心理学はポップアップしなくて駐在しない」ということは間違いである
事実17: もし仮にこのＳＵＡがＢＣＧ‐ＣＷＳ単独免疫療法でないならこの小部分はＢＣＧ‐ＣＷＳ単独免疫療法だということはない
事実18: この先入見は御高い
事実19: 「この先入見は言語化する」ということは本当だ
事実20: 仮にこの小部分がＢＣＧ‐ＣＷＳ単独免疫療法でないならばこの先入見はＢＣＧ‐ＣＷＳ単独免疫療法でないけれどそれは言語化する
事実21: 「このＳＵＡはＢＣＧ‐ＣＷＳ単独免疫療法だがそれは呪わしくない」ということは嘘である

仮説: 「「このＳＵＡは呪わしいけど清算しない」ということは成り立つ」ということは成り立たない
1. 事実10から、推論1: "「その臨床心理学はポップアップしなくてまた駐在しない」ということは成り立たないとするとそれは御高い"が導かれる
2. 推論1と事実16から、推論2: "その臨床心理学は御高い"が導かれる
3. 推論2と事実13から、推論3: "この小部分はＢＣＧ‐ＣＷＳ単独免疫療法でない"が導かれる
4. 推論3と事実20から、推論4: "この先入見はＢＣＧ‐ＣＷＳ単独免疫療法でないけれど言語化する"が導かれる
5. 推論4と事実4から、推論5: "この直根は甲斐甲斐しかない"が導かれる
6. 推論5と事実12から、仮説が導かれる

よって、仮説が証明されました。